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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
    (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)
WMD.kif 1300-1300
    (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)
WMD.kif 1293-1293
    (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)
WMD.kif 1288-1288
    (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)
WMD.kif 1840-1840
    (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 1341-1341
(termFormat ChineseLanguage LifeThreateningAgent "危及生命的特工") domainEnglishFormat.kif 34273-34273
(termFormat ChineseTraditionalLanguage LifeThreateningAgent "危及生命的特工") domainEnglishFormat.kif 34272-34272
(termFormat EnglishLanguage LifeThreateningAgent "life threatening agent") domainEnglishFormat.kif 34271-34271


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


        (instance ?DISEASE LifeThreateningDisease)
        (biochemicalAgentSyndrome ?AGENT ?DISEASE))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 988-992
        (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 3.0 is open source software produced by Articulate Software and its partners