| 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 214-214 | 真菌剂 是 菌类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1379-1379 | 球孢子菌丝虫 是 真菌剂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1391-1391 | 球孢子菌 posadasii 是 真菌剂 的 subclass |
|
|