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. | MilitaryDevices.kif 1317-1317 | CS gas is a subclass of biologically active substance |