| No TPTP formula. May not be expressible in strict first order. | WMD.kif 187-187 | 有毒生物 是 生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | 细菌剂 是 有毒生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 213-213 | 真菌剂 是 有毒生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 230-230 | 病毒剂 是 有毒生物 的 subclass |
|
|