\En*al`i*o*sau"ri*a\, n. pl. [NL., from Gr. ?
marine (? in + ? the sea) + ? a lizard.] (Paleon.)
An extinct group of marine reptiles, embracing both the
Ichthyosauria and the Plesiosauria, now regarded as distinct
orders.