LifeThreateningDisease - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(instance Aflatoxicosis LifeThreateningDisease)	WMD.kif 1834-1834	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 1487-1487	Cholera is an instance of life threatening disease
(instance CrimeanCongoHemorrhagicFever LifeThreateningDisease)	WMD.kif 1910-1910	Crimean congo hemorrhagic fever is an instance of life threatening disease
(instance DengueHemorrhagicFever LifeThreateningDisease)	WMD.kif 1652-1652	Dengue hemorrhagic fever is an instance of life threatening disease
(instance Diphtheria LifeThreateningDisease)	WMD.kif 1902-1902	Diphtheria is an instance of life threatening disease
(instance EasternEquineEncephalitis LifeThreateningDisease)	WMD.kif 1697-1697	Eastern equine encephalitis is an instance of life threatening disease
(instance HepatitisB LifeThreateningDisease)	WMD.kif 1800-1800	Hepatitis b is an instance of life threatening disease
(instance HepatitisC LifeThreateningDisease)	WMD.kif 1810-1810	Hepatitis c is an instance of life threatening disease
(instance HerpesB LifeThreateningDisease)	WMD.kif 1518-1518	Herpes b is an instance of life threatening disease
(instance InhalationalAnthrax LifeThreateningDisease)	WMD.kif 1146-1146	Inhalational anthrax is an instance of life threatening disease
(instance JapaneseEncephalitis LifeThreateningDisease)	WMD.kif 1711-1711	Japanese encephalitis is an instance of life threatening disease
(instance LassaFever LifeThreateningDisease)	WMD.kif 1864-1864	Lassa fever is an instance of life threatening disease
(instance LegionnairesDisease LifeThreateningDisease)	WMD.kif 1887-1887	Legionnaires disease is an instance of life threatening disease
(instance Malaria LifeThreateningDisease)	WMD.kif 1608-1608	Malaria is an instance of life threatening disease
(instance MarburgDisease LifeThreateningDisease)	WMD.kif 1741-1741	Marburg disease is an instance of life threatening disease
(instance NecrotizingFaciitis LifeThreateningDisease)	WMD.kif 1766-1766	Necrotizing faciitis is an instance of life threatening disease
(instance ParalyticShellfishPoisoning LifeThreateningDisease)	WMD.kif 1462-1462	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 1681-1681	Saint louis encephalitis is an instance of life threatening disease
(instance Tuberculosis LifeThreateningDisease)	WMD.kif 1731-1731	Tuberculosis is an instance of life threatening disease
(termFormat ChineseLanguage LifeThreateningDisease "危及生命的疾病")	domainEnglishFormat.kif 34384-34384	Tuberculosis is an instance of life threatening disease
(termFormat ChineseTraditionalLanguage LifeThreateningDisease "危及生命的疾病")	domainEnglishFormat.kif 34383-34383	Tuberculosis is an instance of life threatening disease
(termFormat EnglishLanguage LifeThreateningDisease "life threatening disease")	domainEnglishFormat.kif 34382-34382	Tuberculosis is an instance of life threatening disease

antecedent

(=> (and (instance ?DISEASE LifeThreateningDisease) (attribute ?AGENT ?DISEASE)) (capability Death experiencer ?AGENT))	WMD.kif 1029-1033	If an attribute is an instance of life threatening disease and the attribute is an attribute of an object, then the object is capable of doing death as a experiencer
(=> (and (instance ?DISEASE LifeThreateningDisease) (instance ?AGENT ?CLASS) (biochemicalAgentSyndrome ?CLASS ?DISEASE)) (instance ?AGENT LifeThreateningAgent))	WMD.kif 1035-1040	If a disease or syndrome is an instance of life threatening disease and an entity is an instance of a kind of biochemical agent and the disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent, then the entity is an instance of life threatening agent

consequent

(=>
(diseaseMortality ?DISEASE ?RATE)
(instance ?DISEASE LifeThreateningDisease))

WMD.kif 908-910

If a real number is a disease mortality of a disease or syndrome,
then the disease or syndrome is an instance of life threatening disease

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

KB Term:			Term intersection

English Word: