No TPTP formula. May not be expressible in strict first order. | WMD.kif 545-545 | Incapacitating agent is a subclass of chemical agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 549-549 | CS gas is a subclass of incapacitating agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 551-551 | BZ gas is a subclass of incapacitating agent |