| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9851-9851 | 子類 HoleRegion and Region |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 959-959 | 子類 高爾夫球洞 and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6142-6142 | 子類 Glottis and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12047-12047 | 子類 BodyOrifice and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12121-12121 | 子類 Pupil and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6012-6012 | 子類 洞穴 and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6027-6027 | 子類 地洞 and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3659-3659 | 子類 ATM插槽 and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 311-311 | 子類 InternalCombustionChamber and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 324-324 | 子類 Crankcase and HoleRegion |
|
|