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 965-966
(subclass
    (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)
WMD.kif 1300-1300 The biological agent of coccidiodes posadasii is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)
WMD.kif 1293-1293 The biological agent of coccidioides immitis is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)
WMD.kif 1288-1288 The biological agent of serratia marcenscens is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)
WMD.kif 1840-1840 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 964-964 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 1341-1341 Staphylococcal enterotoxin b is a subclass of life threatening agent
(termFormat ChineseLanguage LifeThreateningAgent "危及生命的特工") domainEnglishFormat.kif 34243-34243
(termFormat ChineseTraditionalLanguage LifeThreateningAgent "危及生命的特工") domainEnglishFormat.kif 34242-34242
(termFormat EnglishLanguage LifeThreateningAgent "life threatening agent") domainEnglishFormat.kif 34241-34241

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


(=>
    (instance ?AGENT LifeThreateningAgent)
    (capability Killing instrument ?AGENT))
WMD.kif 968-970

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


(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (biochemicalAgentSyndrome ?AGENT ?DISEASE))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 988-992
(=>
    (and
        (lethalDose ?AGENT ?NUMBER)
        (greaterThan ?NUMBER 0))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 972-976


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners