No TPTP formula. May not be expressible in strict first order. | WMD.kif 602-602 | Choking agent is a subclass of chemical agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 609-609 | Diphosgene is a subclass of choking agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 613-613 | Chloropicrin is a subclass of choking agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 618-618 | Phosgene is a subclass of choking agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 623-623 | Chlorine gas is a subclass of choking agent |