No TPTP formula. May not be expressible in strict first order. | WMD.kif 103-103 | Biochemical weapon is a subclass of weapon of mass destruction |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 140-140 | Biological weapon is a subclass of biochemical weapon |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 453-453 | Chemical weapon is a subclass of biochemical weapon |