Noun
desmatophocid (plural desmatophocids) (zoology) Any extinct pinniped in the family Desmatophocidae.