No TPTP formula. May not be expressible in strict first order. | WMD.kif 217-217 | Mycotoxin is a subclass of toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 218-218 | Mycotoxin is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1828-1828 | Aflatoxin is a subclass of mycotoxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1839-1839 | Diacetoxyscirpenol is a subclass of mycotoxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1844-1844 | T2 toxin is a subclass of mycotoxin |