(subclass AAV MilitaryVehicle) | MilitaryDevices.kif 1646-1646 | AAV は MilitaryVehicle の subclass では %n |
(subclass AAV AmphibiousVehicle) | MilitaryDevices.kif 1647-1647 | AAV は AmphibiousVehicle の subclass では %n |
(subclass AAV PassengerVehicle) | MilitaryDevices.kif 1648-1648 | AAV は PassengerVehicle の subclass では %n |
(subclass AAV PoweredVehicle) | MilitaryDevices.kif 1649-1649 | AAV は PoweredVehicle の subclass では %n |