| No TPTP formula. May not be expressible in strict first order. | WMD.kif 602-602 | ChokingAgent e' uma sub-classe de ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 609-609 | Diphosgene e' uma sub-classe de ChokingAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 613-613 | Chloropicrin e' uma sub-classe de ChokingAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 618-618 | Phosgene e' uma sub-classe de ChokingAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 623-623 | ChlorineGas e' uma sub-classe de ChokingAgent |
|
|