Etymology
Today it means: Any member of the genus †Allodesmus of extinct pinnipeds. Full definition →
†Allodesmus + -ine
Etymology from Wiktionary, CC BY-SA 4.0.