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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LifeThreateningDisease

Sigma KEE - LifeThreateningDisease
LifeThreateningDisease(life threatening disease)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 970-971
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 969-969 Life threatening disease is a subclass of disease or syndrome

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


(instance Aflatoxicosis LifeThreateningDisease) WMD.kif 1683-1683 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 1373-1373 Cholera is an instance of life threatening disease
(instance CrimeanCongoHemorrhagicFever LifeThreateningDisease) WMD.kif 1759-1759 Crimean congo hemorrhagic fever is an instance of life threatening disease
(instance DengueHemorrhagicFever LifeThreateningDisease) WMD.kif 1501-1501 Dengue hemorrhagic fever is an instance of life threatening disease
(instance Diphtheria LifeThreateningDisease) WMD.kif 1751-1751 Diphtheria is an instance of life threatening disease
(instance EasternEquineEncephalitis LifeThreateningDisease) WMD.kif 1546-1546 Eastern equine encephalitis is an instance of life threatening disease
(instance HepatitisB LifeThreateningDisease) WMD.kif 1649-1649 Hepatitis b is an instance of life threatening disease
(instance HepatitisC LifeThreateningDisease) WMD.kif 1659-1659 Hepatitis c is an instance of life threatening disease
(instance HerpesB LifeThreateningDisease) WMD.kif 1398-1398 Herpes b is an instance of life threatening disease
(instance InhalationalAnthrax LifeThreateningDisease) WMD.kif 1056-1056 Inhalational anthrax is an instance of life threatening disease
(instance JapaneseEncephalitis LifeThreateningDisease) WMD.kif 1560-1560 Japanese encephalitis is an instance of life threatening disease
(instance LassaFever LifeThreateningDisease) WMD.kif 1713-1713 Lassa fever is an instance of life threatening disease
(instance LegionnairesDisease LifeThreateningDisease) WMD.kif 1736-1736 Legionnaires disease is an instance of life threatening disease
(instance Malaria LifeThreateningDisease) WMD.kif 1456-1456 Malaria is an instance of life threatening disease
(instance MarburgDisease LifeThreateningDisease) WMD.kif 1590-1590 Marburg disease is an instance of life threatening disease
(instance NecrotizingFaciitis LifeThreateningDisease) WMD.kif 1615-1615 Necrotizing faciitis is an instance of life threatening disease
(instance ParalyticShellfishPoisoning LifeThreateningDisease) WMD.kif 1348-1348 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 1530-1530 Saint louis encephalitis is an instance of life threatening disease
(instance Tuberculosis LifeThreateningDisease) WMD.kif 1580-1580 Tuberculosis is an instance of life threatening disease
(termFormat EnglishLanguage LifeThreateningDisease "life threatening disease") domainEnglishFormat.kif 6144-6144 "life threatening disease" is the printable form of life threatening disease in english language

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


(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (attribute ?AGENT ?DISEASE))
    (capability Death experiencer ?AGENT))
WMD.kif 973-977
(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (biochemicalAgentSyndrome ?AGENT ?DISEASE))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 979-983

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


(=>
    (diseaseMortality ?DISEASE ?RATE)
    (instance ?DISEASE LifeThreateningDisease))
WMD.kif 857-859


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