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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LifeThreateningAgent
LifeThreateningAgent(life threatening agent)

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


(documentation LifeThreateningAgent EnglishLanguage "A BiochemicalAgent that has been observed to cause the death of Humans.") WMD.kif 998-999
(subclass
    (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)
WMD.kif 1367-1367 The biological agent of coccidiodes posadasii is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)
WMD.kif 1360-1360 The biological agent of coccidioides immitis is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)
WMD.kif 1355-1355 The biological agent of serratia marcenscens is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)
WMD.kif 1956-1956 The biological agent of tick borne encephalitis virus is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn YersiniaPestis) LifeThreateningAgent)
WMD.kif 400-400 The biological agent of yersinia pestis is a subclass of life threatening agent
(subclass LifeThreateningAgent BiochemicalAgent) WMD.kif 997-997 Life threatening agent is a subclass of biochemical agent

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


(subclass BotulinumToxin LifeThreateningAgent) WMD.kif 324-324 Botulinum toxin is a subclass of life threatening agent
(subclass StaphylococcalEnterotoxinB LifeThreateningAgent) WMD.kif 1408-1408 Staphylococcal enterotoxin b is a subclass of life threatening agent
(termFormat ChineseLanguage LifeThreateningAgent "危及生命的特工") domainEnglishFormat.kif 34332-34332
(termFormat ChineseTraditionalLanguage LifeThreateningAgent "危及生命的特工") domainEnglishFormat.kif 34331-34331
(termFormat EnglishLanguage LifeThreateningAgent "life threatening agent") domainEnglishFormat.kif 34330-34330

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


(=>
    (instance ?AGENT LifeThreateningAgent)
    (capability Killing instrument ?AGENT))
WMD.kif 1001-1003

consequent
-------------------------


(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (biochemicalAgentSyndrome ?AGENT ?DISEASE))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 1021-1025
(=>
    (and
        (lethalDose ?AGENT ?NUMBER)
        (greaterThan ?NUMBER 0))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 1005-1009


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 is open source software produced by Articulate Software and its partners