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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mycotoxin
Mycotoxin(黴菌毒素)

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


(documentation Mycotoxin EnglishLanguage "A Toxin that is produced by a FungalAgent.") WMD.kif 219-219
(roomTempState Mycotoxin Solid) Mid-level-ontology.kif 31626-31626 roomTempState 黴菌毒素 and 固體
(subclass Mycotoxin BodySubstance) WMD.kif 218-218 子類 黴菌毒素 and BodySubstance
(subclass Mycotoxin Toxin) WMD.kif 217-217 子類 黴菌毒素 and 毒素

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


(subclass Aflatoxin Mycotoxin) WMD.kif 1828-1828 子類 黃曲霉毒素 and 黴菌毒素
(subclass Diacetoxyscirpenol Mycotoxin) WMD.kif 1839-1839 子類 二乙酯scirpenol and 黴菌毒素
(subclass T2Toxin Mycotoxin) WMD.kif 1844-1844 子類 t2毒素 and 黴菌毒素
(termFormat ChineseLanguage Mycotoxin "霉菌毒素") domainEnglishFormat.kif 39537-39537
(termFormat ChineseTraditionalLanguage Mycotoxin "黴菌毒素") domainEnglishFormat.kif 39536-39536
(termFormat EnglishLanguage Mycotoxin "mycotoxin") domainEnglishFormat.kif 39535-39535

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


(=>
    (instance ?SUBSTANCE Mycotoxin)
    (exists (?FUNGUS ?PROCESS)
        (and
            (instance ?FUNGUS FungalAgent)
            (instance ?PROCESS BiologicalProcess)
            (instrument ?PROCESS ?FUNGUS)
            (result ?PROCESS ?SUBSTANCE))))
WMD.kif 221-228


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



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