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