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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39537-39537 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39536-39536 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39535-39535 |
|