| Procolophonoidea | |
|---|---|
| Kapes bentoni (Procolophonidae, Procolophoninae) | |
| Classificação científica | |
| Reino: | Animalia |
| Filo: | Chordata |
| Classe: | Reptilia |
| Subordem: | †Procolophonia |
| Superfamília: | †Procolophonoidea Broom, 1939 |
| Famílias | |
| Sinónimos | |
| |
Procolophonoidea é uma superfamília extinta de Parareptilia Procolophonia. Os membros eram caracteristicamente pequenos, robustos e com aparência semelhante à de lagartos. Fósseis foram encontrados em todo o mundo, em muitos continentes, incluindo a Antártida. Os primeiros membros apareceram durante o Permiano Superior na Bacia do Karoo, na África do Sul.
Procolophonoidea inclui as famílias Owenettidae e Procolophonidae. Sclerosaurus, que é colocado em sua própria família Sclerosauridae, também pode ser um membro da superfamília. Em 1997, De Braga e Rieppel definiram este mesmo táxon (o ancestral comum mais antigo de Procolophonidae e Owenettidae e todos os seus descendentes) usando o nome Procolophoniformes.
Quando a superfamília foi construída em 1956, pensava-se que ela pertencia à subordem Diadectomorpha dos Anthracosauria. Desde então, ela foi colocada dentro da subordem Procolophonia, juntamente com os Pareiasauria, um grupo de grandes Parareptilia herbívoros do Permiano.

| Cladograma de Procolophonoidea, excluindo membros de Procolophonidae | |||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||
| Cisneros et al., 2004 |
| Cladograma de Procolophonidae | |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
| Modesto et al., 2001 |