| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17817-17817 | Aircraft is a subclass of vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2582-2582 | Airplane is a subclass of aircraft |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2592-2592 | Rocket is a subclass of aircraft |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2593-2593 | Glider plane is a subclass of aircraft |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 155-155 | Military aircraft is a subclass of aircraft |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17826-17826 | Helicopter is a subclass of aircraft |
|
|