Phylum [Vertebrata] (Lamarck, 1801)
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 †Cynodontia Owen, 1861 - cynodonts
see Clade Cynodontia Owen 1861 [Gauthier, Kluge & Rowe 1988]
Family †Procynosuchidae Broom, 1937
Genus †Procynosuchus Broom, 1937