No TPTP formula. May not be expressible in strict first order. | WMD.kif 117-117 | RadioactiveWeapon est une sous-classe de WeaponOfMassDestruction |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 128-128 | RadiologicalWeapon est une sous-classe de RadioactiveWeapon |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 134-134 | NuclearWeapon est une sous-classe de RadioactiveWeapon |
![]() |