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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FungalAgent
FungalAgent(fungal agent)

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


(documentation FungalAgent EnglishLanguage "Any BiologicalAgent that is also a Fungus.") WMD.kif 215-215
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ DirkvdM_barbed_fungus.jpg") pictureList.kif 8499-8499
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Aspergillus.jpg") pictureList.kif 9249-9249
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Fungi_in_Borneo.jpg") pictureList.kif 9250-9250
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ S_cerevisiae_under_DIC_microscopy.jpg") pictureList.kif 9251-9251
(subclass FungalAgent Fungus) WMD.kif 214-214 Fungal agent is a subclass of fungus
(subclass FungalAgent ToxicOrganism) WMD.kif 213-213 Fungal agent is a subclass of toxic organism

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


(subclass CoccidiodesPosadasii FungalAgent) WMD.kif 1299-1299 Coccidiodes posadasii is a subclass of fungal agent
(subclass CoccidioidesImmitis FungalAgent) WMD.kif 1292-1292 Coccidioides immitis is a subclass of fungal agent
(termFormat ChineseLanguage FungalAgent "真菌剂") domainEnglishFormat.kif 25168-25168
(termFormat ChineseTraditionalLanguage FungalAgent "真菌劑") domainEnglishFormat.kif 25167-25167
(termFormat EnglishLanguage FungalAgent "fungal agent") domainEnglishFormat.kif 25166-25166

consequent
-------------------------


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