Find the word definition

Wikipedia
Procolophonoidea

Procolophonoidea is an extinct superfamily of procolophonian parareptiles. Members were characteristically small, stocky, and lizard-like in appearance. Fossils have been found worldwide from many continents including Antarctica. The first members appeared during the Late Permian in the Karoo Basin of South Africa.