(subclass MustardGas BlisterAgent) | WMD.kif 492-492 | MustardGas は BlisterAgent の subclass では %n |
(subclass SulphurMustardGas MustardGas) | WMD.kif 498-498 | SulphurMustardGas は MustardGas の subclass では %n |
(subclass NitrogenMustardGas MustardGas) | WMD.kif 503-503 | NitrogenMustardGas は MustardGas の subclass では %n |