(subclass NuclearWeapon ExplosiveDevice) | WMD.kif 130-130 | NuclearWeapon は ExplosiveDevice の subclass では %n |
(subclass NuclearWeapon Weapon) | WMD.kif 131-131 | NuclearWeapon は 武器 の subclass では %n |
(subclass NuclearWeapon RadioactiveWeapon) | WMD.kif 134-134 | NuclearWeapon は RadioactiveWeapon の subclass では %n |
(subclass AbsoluteDud NuclearWeapon) | MilitaryDevices.kif 1391-1391 | AbsoluteDud は NuclearWeapon の subclass では %n |