No TPTP formula. May not be expressible in strict first order. | WMD.kif 475-475 | Blister agent is a subclass of chemical agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 492-492 | Mustard gas is a subclass of blister agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 506-506 | Lewisite is a subclass of blister agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 517-517 | Phosgene oxime is a subclass of blister agent |