| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9851-9851 | Buraco e' uma sub-classe de Regiao |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 959-959 | GolfHole e' uma sub-classe de Buraco |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6142-6142 | Glottis e' uma sub-classe de Buraco |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12047-12047 | BodyOrifice e' uma sub-classe de Buraco |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12121-12121 | Pupil e' uma sub-classe de Buraco |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6012-6012 | Cave e' uma sub-classe de Buraco |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6027-6027 | Burrow e' uma sub-classe de Buraco |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3659-3659 | ATMSlot e' uma sub-classe de Buraco |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 311-311 | InternalCombustionChamber e' uma sub-classe de Buraco |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 324-324 | Crankcase e' uma sub-classe de Buraco |
|
|