Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  diseaseMortality

 Sigma KEE - diseaseMortality
diseaseMortality

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


(instance diseaseMortality BinaryPredicate) WMD.kif 879-879 disease mortality is an instance of binary predicate
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 880-880 The number 1 argument of disease mortality is an instance of disease or syndrome
(domain diseaseMortality 2 RealNumber) WMD.kif 881-881 The number 2 argument of disease mortality is an instance of real number
(documentation diseaseMortality EnglishLanguage "(diseaseMortality ?DISEASE ?NUMBER) means that DiseaseOrSyndrome ?DISEASE has a Mortality rate of ?NUMBER.") WMD.kif 882-883 The number 2 argument of disease mortality is an instance of real number

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


(format EnglishLanguage diseaseMortality "%2 is %n a disease mortality of %1") domainEnglishFormat.kif 770-770
(format ChineseTraditionalLanguage diseaseMortality "%2 %n 是 %1 的 disease 死亡") domainEnglishFormat.kif 771-771
(format ChineseLanguage diseaseMortality "%2 %n 是 %1 的 disease 死亡") domainEnglishFormat.kif 772-772
(termFormat EnglishLanguage diseaseMortality "disease mortality") domainEnglishFormat.kif 19812-19812
(termFormat ChineseTraditionalLanguage diseaseMortality "疾病死亡率") domainEnglishFormat.kif 19813-19813
(termFormat ChineseLanguage diseaseMortality "疾病死亡率") domainEnglishFormat.kif 19814-19814

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


(=>
    (diseaseMortality ?DISEASE ?RATE)
    (exists (?ORGANISM)
        (and
            (instance ?ORGANISM Organism)
            (conditionalProbability
                (attribute ?ORGANISM ?DISEASE)
                (exists (?DEATH)
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?ORGANISM))) ?RATE))))		 WMD.kif 885-895 If X is a disease mortality of Y, then there exists Z such that Z is an instance of organism, probability of Y is an attribute of Z provided that there exists W such that W is an instance of death, and Z experiences W holds is X
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (and
        (greaterThan ?RATE 0.0)
        (lessThan ?RATE 1.0)))		 WMD.kif 897-901 If X is a disease mortality of Y, then X is greater than 0.0 and X is less than 1.0
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (instance ?DISEASE LifeThreateningDisease))		 WMD.kif 903-905 If X is a disease mortality of Y, then Y is an instance of life threatening disease

appearance as argument number 0
-------------------------


(diseaseMortality Covid19 0.028) VirusProteinAndCellPart.kif 1229-1229 0.028 is a disease mortality of Covid
(diseaseMortality RockyMountainSpottedFever 0.04) WMD.kif 254-254 0.04 is a disease mortality of rocky mountain spotted fever
(diseaseMortality QFever 0.01) WMD.kif 1160-1160 0.01 is a disease mortality of Q fever
(diseaseMortality Tularemia 0.05) WMD.kif 1212-1212 0.05 is a disease mortality of tularemia
(diseaseMortality Smallpox 0.33) WMD.kif 1217-1217 0.33 is a disease mortality of smallpox
(diseaseMortality VenezuelanEquineEncephalitis 0.01) WMD.kif 1406-1406 0.01 is a disease mortality of venezuelan equine encephalitis
(diseaseMortality RiftValleyFever 0.01) WMD.kif 1421-1421 0.01 is a disease mortality of rift valley fever
(diseaseMortality HerpesB 0.7) WMD.kif 1516-1516 0.7 is a disease mortality of herpes b
(diseaseMortality DengueHemorrhagicFever 0.05) WMD.kif 1649-1649 0.05 is a disease mortality of dengue hemorrhagic fever
(diseaseMortality LaCrosseEncephalitis 0.01) WMD.kif 1663-1663 0.01 is a disease mortality of la crosse encephalitis
(diseaseMortality JapaneseEncephalitis 0.30) WMD.kif 1710-1710 0.30 is a disease mortality of japanese encephalitis
(diseaseMortality MarburgDisease 0.25) WMD.kif 1738-1738 0.25 is a disease mortality of marburg disease
(diseaseMortality LassaFever 0.01) WMD.kif 1863-1863 0.01 is a disease mortality of lassa fever
(diseaseMortality LegionnairesDisease 0.125) WMD.kif 1884-1884 0.125 is a disease mortality of legionnaires disease
(diseaseMortality CrimeanCongoHemorrhagicFever 0.3) WMD.kif 1909-1909 0.3 is a disease mortality of crimean congo hemorrhagic fever


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners