| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9887-9887 | Trou est une sous-classe de r�gion |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 959-959 | GolfHole est une sous-classe de trou |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6136-6136 | Glottis est une sous-classe de trou |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12074-12074 | BodyOrifice est une sous-classe de trou |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12148-12148 | Pupil est une sous-classe de trou |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6012-6012 | Cave est une sous-classe de trou |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6027-6027 | Burrow est une sous-classe de trou |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3659-3659 | ATMSlot est une sous-classe de trou |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 311-311 | InternalCombustionChamber est une sous-classe de trou |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 324-324 | Crankcase est une sous-classe de trou |
|
|