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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FungalAgent

Sigma KEE - FungalAgent
FungalAgent

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 8496-8496
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Aspergillus.jpg") pictureList.kif 9244-9244
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Fungi_in_Borneo.jpg") pictureList.kif 9245-9245
(externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ S_cerevisiae_under_DIC_microscopy.jpg") pictureList.kif 9246-9246
(subclass FungalAgent Fungus) WMD.kif 214-214 FungalAgent ist eine teilkategorie von Fungus
(subclass FungalAgent ToxicOrganism) WMD.kif 213-213 FungalAgent ist eine teilkategorie von ToxicOrganism

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


(subclass CoccidiodesPosadasii FungalAgent) WMD.kif 1391-1391 CoccidiodesPosadasii ist eine teilkategorie von FungalAgent
(subclass CoccidioidesImmitis FungalAgent) WMD.kif 1379-1379 CoccidioidesImmitis ist eine teilkategorie von FungalAgent
(termFormat ChineseLanguage FungalAgent "真菌剂") domainEnglishFormat.kif 25232-25232
(termFormat ChineseTraditionalLanguage FungalAgent "真菌劑") domainEnglishFormat.kif 25231-25231
(termFormat EnglishLanguage FungalAgent "fungal agent") domainEnglishFormat.kif 25230-25230

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