No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1828-1828 |
Aflatoxin e' uma sub-classe de Mycotoxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1839-1839 |
Diacetoxyscirpenol e' uma sub-classe de Mycotoxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1844-1844 |
T2Toxin e' uma sub-classe de 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 |
|