Class Mammalia Linnaeus, 1758 - mammals
†"Symmetrodontans" Simpson, 1925, incertae sedis
see Infraclass Symmetrodonta Simpson, 1925
01 Genus †Atlasodon Sigogneau-Russell, 1991, incertae sedis [monotypic]
02 Genus †Gobiotheriodon Trofimov, 1997, incertae sedis [monotypic]
03 Genus †Microderson Sigogneau-Russell, 1991 [monotypic]
04 Genus †Trishulotherium Yadagiri, 1984, incertae sedis [monotypic]
05 Family †Amphidontidae Simpson, 1925
06 Family †Bondesiidae Bonaparte, 1990 [monotypic]
07 Family †Kuehneotheriidae Kermack, Kermack & Mussett, 1968
08 Family †Thereuodontidae Sigogneau-Russell & Ensom, 1998 [monotypic]
09 Family †Tinodontidae Marsh, 1887 [monotypic]
10 Family †Woutersiidae Sigogneau-Russell & Hahn, 1995 [monotypic]
11 Superlegion Trechnotheria McKenna, 1975
see Clade Trechnotheria McKenna 1975