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

Formal Language: 



Term 1: Term 2:

(=>
    (equal ?C
        (AgentOfOrganismFn SerratiaMarcenscens))
    (subclass ?C LifeThreateningAgent))		 WMD.kif 1371-1374
(subclass SerratiaMarcenscens BacterialAgent) WMD.kif 1369-1369 SerratiaMarcenscens ist eine teilkategorie von BacterialAgent


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