noun

• (paleontology) An extinct marine reptile of the order Nothosauroidea, from the Triassic period.