Etymology
Today it means: Any member of the Ophiacodontidae family of Carboniferous and Permian vertebrates Full definition →
From Ophiacodontidae
Etymology from Wiktionary, CC BY-SA 4.0.