| No TPTP formula. May not be expressible in strict first order. | WMD.kif 522-522 | 血液剂 是 化学剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 528-528 | 氰化氢 是 血液剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 534-534 | 氯化氰 是 血液剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 540-540 | 胂 是 血液剂 的 subclass |
|
|