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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LifeThreateningAgent

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 1003-1004
(subclass LifeThreateningAgent BiochemicalAgent) WMD.kif 1002-1002

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


(subclass BotulinumToxin LifeThreateningAgent) WMD.kif 324-324
(subclass StaphylococcalEnterotoxinB LifeThreateningAgent) WMD.kif 1429-1429
(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 1006-1008

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


(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (biochemicalAgentSyndrome ?AGENT ?DISEASE))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 1027-1031
(=>
    (and
        (lethalDose ?AGENT
            (MeasureFn ?NUMBER ?UNIT))
        (greaterThan ?NUMBER 0.0))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 1010-1015
(=>
    (equal ?C
        (AgentOfOrganismFn CoccidiodesPosadasii))
    (subclass ?C LifeThreateningAgent))
WMD.kif 1384-1387
(=>
    (equal ?C
        (AgentOfOrganismFn CoccidioidesImmitis))
    (subclass ?C LifeThreateningAgent))
WMD.kif 1372-1375
(=>
    (equal ?C
        (AgentOfOrganismFn SerratiaMarcenscens))
    (subclass ?C LifeThreateningAgent))
WMD.kif 1362-1365
(=>
    (equal ?C
        (AgentOfOrganismFn TickBorneEncephalitisVirus))
    (subclass ?C LifeThreateningAgent))
WMD.kif 2009-2012
(=>
    (equal ?C
        (AgentOfOrganismFn YersiniaPestis))
    (subclass ?C LifeThreateningAgent))
WMD.kif 401-404


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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