| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9851-9851 | Hole is a subclass of region |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 959-959 | Golf hole is a subclass of hole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6142-6142 | Glottis is a subclass of hole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12047-12047 | Body orifice is a subclass of hole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12121-12121 | Pupil is a subclass of hole |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6012-6012 | Cave is a subclass of hole |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6027-6027 | Burrow is a subclass of hole |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3659-3659 | ATM slot is a subclass of hole |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 311-311 | Internal combustion chamber is a subclass of hole |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 324-324 | Crankcase is a subclass of hole |
|
|