| (subclass BlisterAgent ChemicalAgent) | WMD.kif 475-475 | BlisterAgent は ChemicalAgent の subclass では %n |
| (subclass MustardGas BlisterAgent) | WMD.kif 492-492 | MustardGas は BlisterAgent の subclass では %n |
| (subclass Lewisite BlisterAgent) | WMD.kif 506-506 | Lewisite は BlisterAgent の subclass では %n |
| (subclass PhosgeneOxime BlisterAgent) | WMD.kif 517-517 | PhosgeneOxime は BlisterAgent の subclass では %n |
|
|