Class Reptilia Linnaeus, 1758 - reptiles
   Subclass †Synapsida Osborn, 1903 - synapsids see Class Synapsida Osborn, 1903
     Order †Therapsida Broom, 1905 see [unranked] Therapsida Broom, 1905
       Suborder †Dinocephalia Seeley, 1894 see [unranked] Dinocephalia Seeley, 1894
         1 Family †Deuterosauridae Seeley, 1894
         2 Family †Anteosauridae Boonstra, 1954
         3 Family †Jonkeriidae
         4 Family †Estemmenosuchidae Tchudinov, 1960
         5 Family †Tapinocephalidae Olson, 1962