(subclass Aircraft Vehicle) | Mid-level-ontology.kif 17817-17817 | |
(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 17826-17826 |