Any of numerous species of extinct cat-like mammals, of the Machairodontinae subfamily of the Felidae.