| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17817-17817 | Aircraft est une sous-classe de Vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2582-2582 | Airplane est une sous-classe de Aircraft |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2592-2592 | Rocket est une sous-classe de Aircraft |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2593-2593 | GliderPlane est une sous-classe de Aircraft |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 155-155 | MilitaryAircraft est une sous-classe de Aircraft |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17826-17826 | Helicopter est une sous-classe de Aircraft |
|
|