(subclass Aircraft Vehicle) | Mid-level-ontology.kif 17817-17817 | Aircraft is a subclass of vehicle |
(subclass Airplane Aircraft) | Transportation.kif 2582-2582 | Airplane is a subclass of aircraft |
(subclass Rocket Aircraft) | Transportation.kif 2592-2592 | Rocket is a subclass of aircraft |
(subclass GliderPlane Aircraft) | Transportation.kif 2593-2593 | Glider plane is a subclass of aircraft |
(subclass MilitaryAircraft Aircraft) | Military.kif 155-155 | Military aircraft is a subclass of aircraft |
(subclass Helicopter Aircraft) | Mid-level-ontology.kif 17826-17826 | Helicopter is a subclass of aircraft |