| No TPTP formula. May not be expressible in strict first order. | WMD.kif 130-130 | NuclearWeapon e' uma sub-classe de ExplosiveDevice |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 131-131 | NuclearWeapon e' uma sub-classe de Arma |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 134-134 | NuclearWeapon e' uma sub-classe de RadioactiveWeapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1391-1391 | AbsoluteDud e' uma sub-classe de NuclearWeapon |
|
|