Mycotoxin - Sigma Knowledge base Browser

appearance as argument number 1

(roomTempState Mycotoxin Solid)	Mid-level-ontology.kif 34073-34073	room temperature state mycotoxin and solid
(subclass Mycotoxin Toxin)	WMD.kif 211-211	Mycotoxin is a subclass of toxin
(subclass Mycotoxin BodySubstance)	WMD.kif 212-212	Mycotoxin is a subclass of body substance
(documentation Mycotoxin EnglishLanguage "A Toxin that is produced by a FungalAgent.")	WMD.kif 213-213	Mycotoxin is a subclass of body substance

appearance as argument number 2

(subclass Aflatoxin Mycotoxin)	WMD.kif 1824-1824	Aflatoxin is a subclass of mycotoxin
(subclass Diacetoxyscirpenol Mycotoxin)	WMD.kif 1835-1835	Diacetoxyscirpenol is a subclass of mycotoxin
(subclass T2Toxin Mycotoxin)	WMD.kif 1840-1840	T2 toxin is a subclass of mycotoxin
(termFormat EnglishLanguage Mycotoxin "mycotoxin")	domainEnglishFormat.kif 39541-39541	T2 toxin is a subclass of mycotoxin
(termFormat ChineseTraditionalLanguage Mycotoxin "黴菌毒素")	domainEnglishFormat.kif 39542-39542	T2 toxin is a subclass of mycotoxin
(termFormat ChineseLanguage Mycotoxin "霉菌毒素")	domainEnglishFormat.kif 39543-39543	T2 toxin is a subclass of mycotoxin

antecedent

(=>
    (instance ?SUBSTANCE Mycotoxin)
    (exists (?FUNGUS ?PROCESS)
        (and
            (instance ?FUNGUS FungalAgent)
            (instance ?PROCESS BiologicalProcess)
            (instrument ?PROCESS ?FUNGUS)
            (result ?PROCESS ?SUBSTANCE))))

If X is an instance of mycotoxin, then there exist Y, Z such that Y is an instance of fungal agent, Z is an instance of biological process, Y is an instrument for Z, and X is a result of Z