Mammaliaformes Rowe 1988
[crown] Class Mammalia Linnaeus, 1758 - mammals
Subclass Theriiformes Rowe, 1988
see Division Theriiformes Rowe, 1988
Infraclass Holotheria Wible, Rougier, Novacek, McKenna & Dashzeveg, 1995
see Clade Holotheria Wible, Rougier, Novacek, McKenna & Dashzeveg 1995
Superlegion Trechnotheria McKenna, 1975
see Clade Trechnotheria McKenna 1975
Legion †Symmetrodonta Simpson, 1925 - symmetrodonts
see Infraclass Symmetrodonta Simpson, 1925
Order †Amphidontoidea Prothero, 1981
1 Family †Amphidontidae Simpson, 1925