(subclass MilitaryAircraft Aircraft) | Military.kif 155-155 | Military aircraft is a subclass of aircraft |
(subclass MilitaryAircraft MilitaryVehicle) | Military.kif 156-156 | Military aircraft is a subclass of military vehicle |
(subclass Fighter MilitaryAircraft) | Military.kif 161-161 | Fighter is a subclass of military aircraft |
(subclass Bomber MilitaryAircraft) | Military.kif 174-174 | Bomber is a subclass of military aircraft |