Noun
paulchoffatiid (plural paulchoffatiids) (zoology) Any extinct mammal in the family Paulchoffatiidae.