No TPTP formula. May not be expressible in strict first order. | WMD.kif 545-545 | IncapacitatingAgent e' uma sub-classe de ChemicalAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 549-549 | CSGas e' uma sub-classe de IncapacitatingAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 551-551 | BZGas e' uma sub-classe de IncapacitatingAgent |