Noun
pelagosaur (plural pelagosaurs) Any of the extinct crocodile-like animals of genus †Pelagosaurus which lived during the Jurassic period.