Como é chamado um tigre adulto de dentes de sabre?

Há um pouco de um equívoco aqui.

gatos com dentes de sabre não eram tigres. Eles eram uma família de gatos extintos chamados Machairodontinae . Esses gatos eram diversos, com muitas espécies diferentes, e viviam em várias partes do mundo.

Como eles foram extintos, não há nome específico para um gato adulto de dentes de sabre. Eles foram simplesmente referidos como gatos adultos com dentes de sabre ou pelo nome de sua espécie, como smilodon fatalis (as espécies mais famosas).