TreeView Knowledge Base Browser

appearance as argument number 1

(subclass FungalAgent ToxicOrganism)	WMD.kif 207-207	Fungal agent is a subclass of toxic organism
(subclass FungalAgent Fungus)	WMD.kif 208-208	Fungal agent is a subclass of fungus
(documentation FungalAgent EnglishLanguage "Any BiologicalAgent that is also a Fungus.")	WMD.kif 209-209	Fungal agent is a subclass of fungus
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ DirkvdM_barbed_fungus.jpg")	pictureList.kif 8495-8495	Fungal agent is a subclass of fungus
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Aspergillus.jpg")	pictureList.kif 9243-9243	Fungal agent is a subclass of fungus
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Fungi_in_Borneo.jpg")	pictureList.kif 9244-9244	Fungal agent is a subclass of fungus
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ S_cerevisiae_under_DIC_microscopy.jpg")	pictureList.kif 9245-9245	Fungal agent is a subclass of fungus

appearance as argument number 2

(subclass CoccidioidesImmitis FungalAgent)	WMD.kif 1375-1375	Coccidioides immitis is a subclass of fungal agent
(subclass CoccidiodesPosadasii FungalAgent)	WMD.kif 1387-1387	Coccidiodes posadasii is a subclass of fungal agent
(termFormat EnglishLanguage FungalAgent "fungal agent")	domainEnglishFormat.kif 25234-25234	Coccidiodes posadasii is a subclass of fungal agent
(termFormat ChineseTraditionalLanguage FungalAgent "真菌劑")	domainEnglishFormat.kif 25235-25235	Coccidiodes posadasii is a subclass of fungal agent
(termFormat ChineseLanguage FungalAgent "真菌剂")	domainEnglishFormat.kif 25236-25236	Coccidiodes posadasii is a subclass of fungal agent

consequent

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