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
-------------------------


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

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


(subclass Aflatoxin Mycotoxin) WMD.kif 1694-1694
(subclass Diacetoxyscirpenol Mycotoxin) WMD.kif 1705-1705
(subclass T2Toxin Mycotoxin) WMD.kif 1710-1710
(termFormat ChineseLanguage Mycotoxin "霉菌毒素") domainEnglishFormat.kif 39463-39463
(termFormat ChineseTraditionalLanguage Mycotoxin "黴菌毒素") domainEnglishFormat.kif 39462-39462
(termFormat EnglishLanguage Mycotoxin "mycotoxin") domainEnglishFormat.kif 39461-39461

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 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