| (subclass Aircraft Vehicle) | Mid-level-ontology.kif 17816-17816 | |
| (subclass Airplane Aircraft) | Transportation.kif 2582-2582 | |
| (subclass Rocket Aircraft) | Transportation.kif 2592-2592 | |
| (subclass GliderPlane Aircraft) | Transportation.kif 2593-2593 | |
| (subclass MilitaryAircraft Aircraft) | Military.kif 155-155 | |
| (subclass Helicopter Aircraft) | Mid-level-ontology.kif 17825-17825 |
|
|