(subclass MilitaryAircraft Aircraft) | Military.kif 155-155 | MilitaryAircraft est une sous-classe de Aircraft |
(subclass MilitaryAircraft MilitaryVehicle) | Military.kif 156-156 | MilitaryAircraft est une sous-classe de MilitaryVehicle |
(subclass Fighter MilitaryAircraft) | Military.kif 161-161 | Fighter est une sous-classe de MilitaryAircraft |
(subclass Bomber MilitaryAircraft) | Military.kif 174-174 | Bomber est une sous-classe de MilitaryAircraft |