dinocefali
dinocèfali s. m. pl. [comp. di dino-1 e -cefalo; lat. scient. Dinocephalia]. – Sottordine dei terapsidi, rettili fossili vissuti nel periodo permiano, di grandi dimensioni e corporatura tozza, prevalentemente fitofagi.