No TPTP formula. May not be expressible in strict first order. | WMD.kif 213-213 | 子類 真菌劑 and 有毒生物 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 214-214 | 子類 真菌劑 and Fungus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1379-1379 | 子類 球孢子菌絲蟲 and 真菌劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1391-1391 | 子類 球孢子菌 posadasii and 真菌劑 |