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