(subclass MilitaryAircraft Aircraft) | Military.kif 155-155 | MilitaryAircraft は Aircraft の subclass では %n |
(subclass MilitaryAircraft MilitaryVehicle) | Military.kif 156-156 | MilitaryAircraft は MilitaryVehicle の subclass では %n |
(subclass Fighter MilitaryAircraft) | Military.kif 161-161 | Fighter は MilitaryAircraft の subclass では %n |
(subclass Bomber MilitaryAircraft) | Military.kif 174-174 | Bomber は MilitaryAircraft の subclass では %n |