allodesmine

== English == === Etymology === †Allodesmus +‎ -ine === Noun === allodesmine (plural allodesmines) Any of the genus †Allodesmus of extinct pinnipeds.