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
-------------------------


s__documentation(s__LifeThreateningDisease,s__EnglishLanguage,'"A DiseaseOrSyndrome that has been observed to cause the death of Humans."')

WMD.kif 1012-1013
s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__subclass(s__LifeThreateningDisease,s__DiseaseOrSyndrome)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1011-1011 Life threatening disease is a subclass of disease or syndrome

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


s__instance(s__Aflatoxicosis,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1773-1773 Aflatoxicosis is an instance of life threatening disease
s__instance(s__Botulism,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 333-333 Botulism is an instance of life threatening disease
s__instance(s__Cholera,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1457-1457 Cholera is an instance of life threatening disease
s__instance(s__CrimeanCongoHemorrhagicFever,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1849-1849 Crimean congo hemorrhagic fever is an instance of life threatening disease
s__instance(s__DengueHemorrhagicFever,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1591-1591 Dengue hemorrhagic fever is an instance of life threatening disease
s__instance(s__Diphtheria,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1841-1841 Diphtheria is an instance of life threatening disease
s__instance(s__EasternEquineEncephalitis,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1636-1636 Eastern equine encephalitis is an instance of life threatening disease
s__instance(s__HepatitisB,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1739-1739 Hepatitis b is an instance of life threatening disease
s__instance(s__HepatitisC,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1749-1749 Hepatitis c is an instance of life threatening disease
s__instance(s__HerpesB,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1488-1488 Herpes b is an instance of life threatening disease
s__instance(s__InhalationalAnthrax,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1132-1132 Inhalational anthrax is an instance of life threatening disease
s__instance(s__JapaneseEncephalitis,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1650-1650 Japanese encephalitis is an instance of life threatening disease
s__instance(s__LassaFever,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1803-1803 Lassa fever is an instance of life threatening disease
s__instance(s__LifeThreateningDisease,s__SetOrClass)

s__instance(s__LegionnairesDisease,s__LifeThreateningDisease)

WMD.kif 1826-1826 Legionnaires disease is an instance of life threatening disease
s__instance(s__Malaria,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1546-1546 Malaria is an instance of life threatening disease
s__instance(s__MarburgDisease,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1680-1680 Marburg disease is an instance of life threatening disease
s__instance(s__NecrotizingFaciitis,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1705-1705 Necrotizing faciitis is an instance of life threatening disease
s__instance(s__ParalyticShellfishPoisoning,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1432-1432 Paralytic shellfish poisoning is an instance of life threatening disease
s__instance(s__RockyMountainSpottedFever,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 259-259 Rocky mountain spotted fever is an instance of life threatening disease
s__instance(s__LifeThreateningDisease,s__SetOrClass)

s__instance(s__SaintLouisEncephalitis,s__LifeThreateningDisease)

WMD.kif 1620-1620 Saint louis encephalitis is an instance of life threatening disease
s__instance(s__Tuberculosis,s__LifeThreateningDisease)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

WMD.kif 1670-1670 Tuberculosis is an instance of life threatening disease
s__termFormat(s__ChineseLanguage,s__LifeThreateningDisease,'"危及生命的疾病"')

domainEnglishFormat.kif 34338-34338
s__termFormat(s__ChineseTraditionalLanguage,s__LifeThreateningDisease,'"危及生命的疾病"')

domainEnglishFormat.kif 34337-34337
s__termFormat(s__EnglishLanguage,s__LifeThreateningDisease,'"life threatening disease"')

domainEnglishFormat.kif 34336-34336

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


( ! [V__AGENT,V__DISEASE] :
   ((s__instance(V__AGENT,s__Object) =>
       (((s__instance(V__DISEASE,s__LifeThreateningDisease) &
             s__attribute(V__AGENT,V__DISEASE))
         =>
         (s__capability(s__Death,s__experiencer__m,V__AGENT)))))
)
)

WMD.kif 1015-1019
( ! [V__AGENT,V__DISEASE] :
   ((s__subclass(V__AGENT,s__BiochemicalAgent) =>
       (((s__instance(V__DISEASE,s__LifeThreateningDisease) &
             s__biochemicalAgentSyndrome(V__AGENT,V__DISEASE))
         =>
         (s__instance(V__AGENT,s__LifeThreateningAgent)))))
   )
)

WMD.kif 1021-1025

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


( ! [V__RATE,V__DISEASE] :
   (((s__instance(V__RATE,s__RealNumber) &
         s__instance(V__DISEASE,s__DiseaseOrSyndrome))
       =>
       ((s__diseaseMortality(V__DISEASE,V__RATE)
         =>
         (s__instance(V__DISEASE,s__LifeThreateningDisease)))))
   )
)

WMD.kif 899-901


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