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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LifeThreateningAgent
LifeThreateningAgent

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 1294-1294
(subclass
    (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)
WMD.kif 1287-1287
(subclass
    (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)
WMD.kif 1282-1282
(subclass
    (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)
WMD.kif 1834-1834
(subclass
    (AgentOfOrganismFn YersiniaPestis) LifeThreateningAgent)
WMD.kif 400-400
(subclass LifeThreateningAgent BiochemicalAgent) WMD.kif 964-964

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


(subclass BotulinumToxin LifeThreateningAgent) WMD.kif 324-324
(subclass StaphylococcalEnterotoxinB LifeThreateningAgent) WMD.kif 1335-1335
(termFormat ChineseLanguage LifeThreateningAgent "危及生命的特工") domainEnglishFormat.kif 34261-34261
(termFormat ChineseTraditionalLanguage LifeThreateningAgent "危及生命的特工") domainEnglishFormat.kif 34260-34260
(termFormat EnglishLanguage LifeThreateningAgent "life threatening agent") domainEnglishFormat.kif 34259-34259

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