| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9873-9873 | 子類 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 6141-6141 | 子類 Glottis and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12046-12046 | 子類 BodyOrifice and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12120-12120 | 子類 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 |
|
|