Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mycotoxin

Sigma KEE - Mycotoxin
Mycotoxin(霉菌毒素)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 219-219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31626-31626 roomTempState 霉菌毒素 and 固体
No TPTP formula. May not be expressible in strict first order. WMD.kif 218-218 霉菌毒素身体物质subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 217-217 霉菌毒素毒素subclass

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 221-228


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners