No TPTP formula. May not be expressible in strict first order. | WMD.kif 130-130 | Nuclear weapon is a subclass of explosive device |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 131-131 | Nuclear weapon is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 134-134 | Nuclear weapon is a subclass of radioactive weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1391-1391 | Absolute dud is a subclass of nuclear weapon |