какие времена у этих грамматических конструкций will see, is discovered have

Will see - Future Simple, Active voice (обычное будущее, активный залог); is discovered - Present Simple, Passive voice (простое истинное, пассивный залог); have become - Present Perfect, Active voice (абсолютное истиннее, активный залог); are also known - Present Simple, Passive voice (обычное истиннее, пассивный залог); designs - Present Simple, Active voice (простое настоящее, активный залог); redefined - Past Simple, Active voice - (обычное прошедшее, активный залог).