No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1828-1828 |
黄曲霉毒素 是 霉菌毒素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1839-1839 |
二乙酯scirpenol 是 霉菌毒素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1844-1844 |
T2毒素 是 霉菌毒素 的 subclass |
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 |
|