| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12504-12504 | Separar e' uma sub-classe de Processo Dual |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19596-19596 | Dialysis e' uma sub-classe de Separar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19643-19643 | Chromatography e' uma sub-classe de Separar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22027-22027 | Slicing e' uma sub-classe de Separar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12521-12521 | Breaking e' uma sub-classe de Separar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12581-12581 | Decomposicao Quimica e' uma sub-classe de Separar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2569-2569 | CarbonDioxideEmission e' uma sub-classe de Separar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5696-5696 | Distilling e' uma sub-classe de Separar |
|
|