allodesmine

Etymology
†

Noun

 * 1) Any of the genus † of extinct pinnipeds.