| No TPTP formula. May not be expressible in strict first order. | WMD.kif 117-117 | Radioactive weapon is a subclass of weapon of mass destruction |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 128-128 | Radiological weapon is a subclass of radioactive weapon |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 134-134 | Nuclear weapon is a subclass of radioactive weapon |
|
|