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