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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LifeThreateningDisease
LifeThreateningDisease(life threatening disease)

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


(documentation LifeThreateningDisease EnglishLanguage "A DiseaseOrSyndrome that has been observed to cause the death of Humans.") WMD.kif 979-980
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 978-978 Life threatening disease is a subclass of disease or syndrome

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


(instance Aflatoxicosis LifeThreateningDisease) WMD.kif 1700-1700 Aflatoxicosis is an instance of life threatening disease
(instance Botulism LifeThreateningDisease) WMD.kif 333-333 Botulism is an instance of life threatening disease
(instance Cholera LifeThreateningDisease) WMD.kif 1390-1390 Cholera is an instance of life threatening disease
(instance CrimeanCongoHemorrhagicFever LifeThreateningDisease) WMD.kif 1776-1776 Crimean congo hemorrhagic fever is an instance of life threatening disease
(instance DengueHemorrhagicFever LifeThreateningDisease) WMD.kif 1518-1518 Dengue hemorrhagic fever is an instance of life threatening disease
(instance Diphtheria LifeThreateningDisease) WMD.kif 1768-1768 Diphtheria is an instance of life threatening disease
(instance EasternEquineEncephalitis LifeThreateningDisease) WMD.kif 1563-1563 Eastern equine encephalitis is an instance of life threatening disease
(instance HepatitisB LifeThreateningDisease) WMD.kif 1666-1666 Hepatitis b is an instance of life threatening disease
(instance HepatitisC LifeThreateningDisease) WMD.kif 1676-1676 Hepatitis c is an instance of life threatening disease
(instance HerpesB LifeThreateningDisease) WMD.kif 1415-1415 Herpes b is an instance of life threatening disease
(instance InhalationalAnthrax LifeThreateningDisease) WMD.kif 1065-1065 Inhalational anthrax is an instance of life threatening disease
(instance JapaneseEncephalitis LifeThreateningDisease) WMD.kif 1577-1577 Japanese encephalitis is an instance of life threatening disease
(instance LassaFever LifeThreateningDisease) WMD.kif 1730-1730 Lassa fever is an instance of life threatening disease
(instance LegionnairesDisease LifeThreateningDisease) WMD.kif 1753-1753 Legionnaires disease is an instance of life threatening disease
(instance Malaria LifeThreateningDisease) WMD.kif 1473-1473 Malaria is an instance of life threatening disease
(instance MarburgDisease LifeThreateningDisease) WMD.kif 1607-1607 Marburg disease is an instance of life threatening disease
(instance NecrotizingFaciitis LifeThreateningDisease) WMD.kif 1632-1632 Necrotizing faciitis is an instance of life threatening disease
(instance ParalyticShellfishPoisoning LifeThreateningDisease) WMD.kif 1365-1365 Paralytic shellfish poisoning is an instance of life threatening disease
(instance RockyMountainSpottedFever LifeThreateningDisease) WMD.kif 259-259 Rocky mountain spotted fever is an instance of life threatening disease
(instance SaintLouisEncephalitis LifeThreateningDisease) WMD.kif 1547-1547 Saint louis encephalitis is an instance of life threatening disease
(instance Tuberculosis LifeThreateningDisease) WMD.kif 1597-1597 Tuberculosis is an instance of life threatening disease
(termFormat ChineseLanguage LifeThreateningDisease "危及生命的疾病") domainEnglishFormat.kif 34249-34249
(termFormat ChineseTraditionalLanguage LifeThreateningDisease "危及生命的疾病") domainEnglishFormat.kif 34248-34248
(termFormat EnglishLanguage LifeThreateningDisease "life threatening disease") domainEnglishFormat.kif 34247-34247

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


(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (attribute ?AGENT ?DISEASE))
    (capability Death experiencer ?AGENT))
WMD.kif 982-986
(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (biochemicalAgentSyndrome ?AGENT ?DISEASE))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 988-992

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


(=>
    (diseaseMortality ?DISEASE ?RATE)
    (instance ?DISEASE LifeThreateningDisease))
WMD.kif 866-868


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