Etymology
Today it means: Any ichthyosaur of the clade Thunnosauria Full definition →
Clipping of taxonomic name Thunnosauria.
Etymology from Wiktionary, CC BY-SA 4.0.