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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diseaseMortality
diseaseMortality

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


(documentation diseaseMortality EnglishLanguage "(diseaseMortality ?DISEASE ?NUMBER) means that DiseaseOrSyndrome ?DISEASE has a Mortality rate of ?NUMBER.") WMD.kif 887-888
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 885-885 The number 1 argument of disease mortality is an instance of disease or syndrome
(domain diseaseMortality 2 RealNumber) WMD.kif 886-886 The number 2 argument of disease mortality is an instance of real number
(instance diseaseMortality BinaryPredicate) WMD.kif 884-884 disease mortality is an instance of binary predicate

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


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

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


(=>
    (diseaseMortality ?DISEASE ?RATE)
    (and
        (greaterThan ?RATE 0.0)
        (lessThan ?RATE 1.0)))		 WMD.kif 902-906
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (conditionalProbability
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (attribute ?ORGANISM ?DISEASE)))
        (exists (?DEATH)
            (and
                (instance ?DEATH Death)
                (experiencer ?DEATH ?ORGANISM))) ?RATE))		 WMD.kif 890-900
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (instance ?DISEASE LifeThreateningDisease))		 WMD.kif 908-910

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


(diseaseMortality Covid19 0.028) VirusProteinAndCellPart.kif 1244-1244 0.028 is a disease mortality of Covid
(diseaseMortality CrimeanCongoHemorrhagicFever 0.3) WMD.kif 1913-1913 0.3 is a disease mortality of crimean congo hemorrhagic fever
(diseaseMortality DengueHemorrhagicFever 0.05) WMD.kif 1653-1653 0.05 is a disease mortality of dengue hemorrhagic fever
(diseaseMortality HerpesB 0.7) WMD.kif 1520-1520 0.7 is a disease mortality of herpes b
(diseaseMortality JapaneseEncephalitis 0.30) WMD.kif 1714-1714 0.30 is a disease mortality of japanese encephalitis
(diseaseMortality LaCrosseEncephalitis 0.01) WMD.kif 1667-1667 0.01 is a disease mortality of la crosse encephalitis
(diseaseMortality LassaFever 0.01) WMD.kif 1867-1867 0.01 is a disease mortality of lassa fever
(diseaseMortality LegionnairesDisease 0.125) WMD.kif 1888-1888 0.125 is a disease mortality of legionnaires disease
(diseaseMortality MarburgDisease 0.25) WMD.kif 1742-1742 0.25 is a disease mortality of marburg disease
(diseaseMortality QFever 0.01) WMD.kif 1164-1164 0.01 is a disease mortality of Q fever
(diseaseMortality RiftValleyFever 0.01) WMD.kif 1425-1425 0.01 is a disease mortality of rift valley fever
(diseaseMortality RockyMountainSpottedFever 0.04) WMD.kif 260-260 0.04 is a disease mortality of rocky mountain spotted fever
(diseaseMortality Smallpox 0.33) WMD.kif 1221-1221 0.33 is a disease mortality of smallpox
(diseaseMortality Tularemia 0.05) WMD.kif 1216-1216 0.05 is a disease mortality of tularemia
(diseaseMortality VenezuelanEquineEncephalitis 0.01) WMD.kif 1410-1410 0.01 is a disease mortality of venezuelan equine encephalitis


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