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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mycotoxin
Mycotoxin(mycotoxin)mycotoxin

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


(documentation Mycotoxin EnglishLanguage "A Toxin that is produced by a FungalAgent.") WMD.kif 219-219
(subclass Mycotoxin BodySubstance) WMD.kif 218-218 Mycotoxin is a subclass of body substance
(subclass Mycotoxin Toxin) WMD.kif 217-217 Mycotoxin is a subclass of toxin

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


(subclass Aflatoxin Mycotoxin) WMD.kif 1727-1727 Aflatoxin is a subclass of mycotoxin
(subclass Diacetoxyscirpenol Mycotoxin) WMD.kif 1738-1738 Diacetoxyscirpenol is a subclass of mycotoxin
(subclass T2Toxin Mycotoxin) WMD.kif 1743-1743 T2 toxin is a subclass of mycotoxin
(termFormat ChineseLanguage Mycotoxin "霉菌毒素") domainEnglishFormat.kif 39529-39529
(termFormat ChineseTraditionalLanguage Mycotoxin "黴菌毒素") domainEnglishFormat.kif 39528-39528
(termFormat EnglishLanguage Mycotoxin "mycotoxin") domainEnglishFormat.kif 39527-39527

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