Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (equal ?C
        (AgentOfOrganismFn CoccidioidesImmitis))
    (subclass ?C LifeThreateningAgent))		 WMD.kif 1381-1384
(subclass CoccidioidesImmitis FungalAgent) WMD.kif 1379-1379 CoccidioidesImmitis ist eine teilkategorie von FungalAgent


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