Sphenacodontia is a stem-based clade of derived synapsids. It was defined by Amson and Laurin (2011) as "the largest clade that includes Haptodus baylei, Haptodus garnettensis and Sphenacodon ferox, but not Edaphosaurus pogonias". They first appear during the Late Pennsylvanian epoch. From the end of the Carboniferous to the end of the Permian, most of them remained large, with only some secondarily becoming small in size.

Pantelosaurus is an extinct genus of basal sphenacodonts known from the Early Permian period of Saxony, Germany. It contains a single species, Pantelosaurus saxonicus.