Речник на българския език
ще са дефинирали е производна форма на дефинирам (бъд. пред. вр., 3 л., мн. ч.).