paulchoffatiid

Noun

 * 1)  Any extinct mammal in the family.