noun
Any fishlike marine reptiles of the extinct order †Ichthyosauria of the early Triassic to the late Cretaceous period, that had a body somewhat like a porpoise.