| (subclass NuclearWeapon ExplosiveDevice) | WMD.kif 130-130 | NuclearWeapon est une sous-classe de ExplosiveDevice |
| (subclass NuclearWeapon Weapon) | WMD.kif 131-131 | NuclearWeapon est une sous-classe de arme |
| (subclass NuclearWeapon RadioactiveWeapon) | WMD.kif 134-134 | NuclearWeapon est une sous-classe de RadioactiveWeapon |
| (subclass AbsoluteDud NuclearWeapon) | MilitaryDevices.kif 1391-1391 | AbsoluteDud est une sous-classe de NuclearWeapon |
|
|