Dinocèfali.

Paleont. - Sottordine di rettili fossili sinapsidi, appartenenti all'ordine terapsidi, sottordine anomontidi.