| (subclass BloodAgent ChemicalAgent) | WMD.kif 522-522 | BloodAgent は ChemicalAgent の subclass では %n |
| (subclass HydrogenCyanide BloodAgent) | WMD.kif 528-528 | HydrogenCyanide は BloodAgent の subclass では %n |
| (subclass CyanogenChloride BloodAgent) | WMD.kif 534-534 | CyanogenChloride は BloodAgent の subclass では %n |
| (subclass Arsine BloodAgent) | WMD.kif 540-540 | Arsine は BloodAgent の subclass では %n |
|
|