TreeView Knowledge Base Browser - LifeThreateningDisease

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	LifeThreateningDisease ist eine teilkategorie von DiseaseOrSyndrome

appearance as argument number 2

(instance Aflatoxicosis LifeThreateningDisease)	WMD.kif 1834-1834	Aflatoxicosis ist ein fall von LifeThreateningDisease %n{nicht}
(instance Botulism LifeThreateningDisease)	WMD.kif 333-333	Botulism ist ein fall von LifeThreateningDisease %n{nicht}
(instance Cholera LifeThreateningDisease)	WMD.kif 1487-1487	Cholera ist ein fall von LifeThreateningDisease %n{nicht}
(instance CrimeanCongoHemorrhagicFever LifeThreateningDisease)	WMD.kif 1910-1910	CrimeanCongoHemorrhagicFever ist ein fall von LifeThreateningDisease %n{nicht}
(instance DengueHemorrhagicFever LifeThreateningDisease)	WMD.kif 1652-1652	DengueHemorrhagicFever ist ein fall von LifeThreateningDisease %n{nicht}
(instance Diphtheria LifeThreateningDisease)	WMD.kif 1902-1902	Diphtheria ist ein fall von LifeThreateningDisease %n{nicht}
(instance EasternEquineEncephalitis LifeThreateningDisease)	WMD.kif 1697-1697	EasternEquineEncephalitis ist ein fall von LifeThreateningDisease %n{nicht}
(instance HepatitisB LifeThreateningDisease)	WMD.kif 1800-1800	HepatitisB ist ein fall von LifeThreateningDisease %n{nicht}
(instance HepatitisC LifeThreateningDisease)	WMD.kif 1810-1810	HepatitisC ist ein fall von LifeThreateningDisease %n{nicht}
(instance HerpesB LifeThreateningDisease)	WMD.kif 1518-1518	HerpesB ist ein fall von LifeThreateningDisease %n{nicht}
(instance InhalationalAnthrax LifeThreateningDisease)	WMD.kif 1146-1146	InhalationalAnthrax ist ein fall von LifeThreateningDisease %n{nicht}
(instance JapaneseEncephalitis LifeThreateningDisease)	WMD.kif 1711-1711	JapaneseEncephalitis ist ein fall von LifeThreateningDisease %n{nicht}
(instance LassaFever LifeThreateningDisease)	WMD.kif 1864-1864	LassaFever ist ein fall von LifeThreateningDisease %n{nicht}
(instance LegionnairesDisease LifeThreateningDisease)	WMD.kif 1887-1887	LegionnairesDisease ist ein fall von LifeThreateningDisease %n{nicht}
(instance Malaria LifeThreateningDisease)	WMD.kif 1608-1608	Malaria ist ein fall von LifeThreateningDisease %n{nicht}
(instance MarburgDisease LifeThreateningDisease)	WMD.kif 1741-1741	MarburgDisease ist ein fall von LifeThreateningDisease %n{nicht}
(instance NecrotizingFaciitis LifeThreateningDisease)	WMD.kif 1766-1766	NecrotizingFaciitis ist ein fall von LifeThreateningDisease %n{nicht}
(instance ParalyticShellfishPoisoning LifeThreateningDisease)	WMD.kif 1462-1462	ParalyticShellfishPoisoning ist ein fall von LifeThreateningDisease %n{nicht}
(instance RockyMountainSpottedFever LifeThreateningDisease)	WMD.kif 259-259	RockyMountainSpottedFever ist ein fall von LifeThreateningDisease %n{nicht}
(instance SaintLouisEncephalitis LifeThreateningDisease)	WMD.kif 1681-1681	SaintLouisEncephalitis ist ein fall von LifeThreateningDisease %n{nicht}
(instance Tuberculosis LifeThreateningDisease)	WMD.kif 1731-1731	Tuberculosis ist ein fall von LifeThreateningDisease %n{nicht}
(termFormat ChineseLanguage LifeThreateningDisease "危及生命的疾病")	domainEnglishFormat.kif 34355-34355
(termFormat ChineseTraditionalLanguage LifeThreateningDisease "危及生命的疾病")	domainEnglishFormat.kif 34354-34354
(termFormat EnglishLanguage LifeThreateningDisease "life threatening disease")	domainEnglishFormat.kif 34353-34353

antecedent

(=> (and (instance ?DISEASE LifeThreateningDisease) (attribute ?AGENT ?DISEASE)) (capability Death experiencer ?AGENT))	WMD.kif 1029-1033	Wenn Attribute ist ein fall von LifeThreateningDisease %n{nicht} und Attribute ist ein attribut von Object %n{nicht}, dann Object ist faehig %n{nicht}, in der Rolle experiencer Death zu tun
(=> (and (instance ?DISEASE LifeThreateningDisease) (instance ?AGENT ?CLASS) (biochemicalAgentSyndrome ?CLASS ?DISEASE)) (instance ?AGENT LifeThreateningAgent))	WMD.kif 1035-1040	Wenn DiseaseOrSyndrome ist ein fall von LifeThreateningDisease %n{nicht} und Entity ist ein fall von BiochemicalAgent %n{nicht} und biochemicalAgentSyndrome BiochemicalAgent and DiseaseOrSyndrome, dann Entity ist ein fall von LifeThreateningAgent %n{nicht}

consequent

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

WMD.kif 908-910

Wenn diseaseMortality DiseaseOrSyndrome and RealNumber,
dann ** DiseaseOrSyndrome ist ein fall von LifeThreateningDisease %n{nicht}

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: