Noun
procolophonoid (plural procolophonoids) (zoology) Any parareptile of the superfamily Procolophonoidea.