No TPTP formula. May not be expressible in strict first order. | WMD.kif 117-117 | RadioactiveWeapon e' uma sub-classe de WeaponOfMassDestruction |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 128-128 | RadiologicalWeapon e' uma sub-classe de RadioactiveWeapon |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 134-134 | NuclearWeapon e' uma sub-classe de RadioactiveWeapon |