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