(subclass AntiTankWeapon AntiArmorWeapon) | MilitaryDevices.kif 867-867 | AntiTankWeapon は AntiArmorWeapon の subclass では %n |
(subclass JavelinWeapon AntiTankWeapon) | MilitaryDevices.kif 719-719 | JavelinWeapon は AntiTankWeapon の subclass では %n |
(subclass AntiTankMissile AntiTankWeapon) | MilitaryDevices.kif 884-884 | AntiTankMissile は AntiTankWeapon の subclass では %n |