| No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | 生化剂 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 97-97 | 雾化剂 是 生化剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | 生物制剂 是 生化剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 444-444 | 化学剂 是 生化剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1009-1009 | 危及生命的特工 是 生化剂 的 subclass |
|
|