Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CoccidioidesImmitis
CoccidioidesImmitis(coccidioides immitis)

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


(subclass CoccidioidesImmitis FungalAgent) WMD.kif 1375-1375 Coccidioides immitis is a subclass of fungal agent
(biochemicalAgentSyndrome CoccidioidesImmitis RiftValleyFever) WMD.kif 1382-1382 Rift valley fever is a biochemical agent syndrome of coccidioides immitis
(documentation CoccidioidesImmitis EnglishLanguage "A Fungus that causes RiftValleyFever, an illness whose symptoms include fever, chills, and coughing and which may result in death.") WMD.kif 1383-1385 Rift valley fever is a biochemical agent syndrome of coccidioides immitis
(externalImage CoccidioidesImmitis "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9f/ Coccidioides_immitis_on_Sabouraud%27s_medium.jpg") pictureList.kif 8424-8424 Rift valley fever is a biochemical agent syndrome of coccidioides immitis
(externalImage CoccidioidesImmitis "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 44/ Coccidioides_immitis_microscopy.jpg") pictureList.kif 9081-9081 Rift valley fever is a biochemical agent syndrome of coccidioides immitis

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


(termFormat EnglishLanguage CoccidioidesImmitis "coccidioides immitis") domainEnglishFormat.kif 15444-15444
(termFormat ChineseTraditionalLanguage CoccidioidesImmitis "球孢子菌絲蟲") domainEnglishFormat.kif 15445-15445
(termFormat ChineseLanguage CoccidioidesImmitis "球孢子菌丝虫") domainEnglishFormat.kif 15446-15446

antecedent
-------------------------


(=>
    (equal ?C
        (AgentOfOrganismFn CoccidioidesImmitis))
    (subclass ?C LifeThreateningAgent))		 WMD.kif 1377-1380 If equal X and the biological agent of coccidioides immitis, then X is a subclass of life threatening agent


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners