| (subclass ChokingAgent ChemicalAgent) | WMD.kif 602-602 | ChokingAgent est une sous-classe de ChemicalAgent |
| (subclass Diphosgene ChokingAgent) | WMD.kif 609-609 | Diphosgene est une sous-classe de ChokingAgent |
| (subclass Chloropicrin ChokingAgent) | WMD.kif 613-613 | Chloropicrin est une sous-classe de ChokingAgent |
| (subclass Phosgene ChokingAgent) | WMD.kif 618-618 | Phosgene est une sous-classe de ChokingAgent |
| (subclass ChlorineGas ChokingAgent) | WMD.kif 623-623 | ChlorineGas est une sous-classe de ChokingAgent |
|
|