(subclass RadioactiveWeapon WeaponOfMassDestruction) | WMD.kif 117-117 | RadioactiveWeapon は WeaponOfMassDestruction の subclass では %n |
(subclass RadiologicalWeapon RadioactiveWeapon) | WMD.kif 128-128 | RadiologicalWeapon は RadioactiveWeapon の subclass では %n |
(subclass NuclearWeapon RadioactiveWeapon) | WMD.kif 134-134 | NuclearWeapon は RadioactiveWeapon の subclass では %n |