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.

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.