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

Formal Language: 



Term 1: Term 2:

(=>
    (equal ?C
        (AgentOfOrganismFn CoccidiodesPosadasii))
    (subclass ?C LifeThreateningAgent))		 WMD.kif 1393-1396
(=>
    (equal ?C
        (AgentOfOrganismFn TickBorneEncephalitisVirus))
    (subclass ?C LifeThreateningAgent))		 WMD.kif 2019-2022
(=>
    (equal ?C
        (AgentOfOrganismFn CoccidioidesImmitis))
    (subclass ?C LifeThreateningAgent))		 WMD.kif 1381-1384
(=>
    (equal ?C
        (AgentOfOrganismFn YersiniaPestis))
    (subclass ?C LifeThreateningAgent))		 WMD.kif 401-404
(=>
    (equal ?C
        (AgentOfOrganismFn SerratiaMarcenscens))
    (subclass ?C LifeThreateningAgent))		 WMD.kif 1371-1374
(subclass LifeThreateningAgent BiochemicalAgent) WMD.kif 1009-1009 LifeThreateningAgent ist eine teilkategorie von BiochemicalAgent
(subclass BotulinumToxin LifeThreateningAgent) WMD.kif 324-324 BotulinumToxin ist eine teilkategorie von LifeThreateningAgent
(subclass StaphylococcalEnterotoxinB LifeThreateningAgent) WMD.kif 1438-1438 StaphylococcalEnterotoxinB ist eine teilkategorie von LifeThreateningAgent


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