ictidorhinid

noun1

1. •
   Any therapsid of the genus Ictidorhinus.

   • Biarmosuchians include most of the ictidorhinids and the more derived burnetiamorphs. — 2012