(subclass AMEV MilitaryVehicle) | MilitaryDevices.kif 2128-2128 | AMEV は MilitaryVehicle の subclass では %n |
(subclass AMEV LandVehicle) | MilitaryDevices.kif 2129-2129 | AMEV は LandVehicle の subclass では %n |
(subclass AMEV Ambulance) | MilitaryDevices.kif 2130-2130 | AMEV は Ambulance の subclass では %n |