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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diseaseMortality

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
(domain diseaseMortality 2 RealNumber) WMD.kif 886-886
(instance diseaseMortality BinaryPredicate) WMD.kif 884-884

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 19812-19812
(termFormat ChineseTraditionalLanguage diseaseMortality "疾病死亡率") domainEnglishFormat.kif 19811-19811
(termFormat EnglishLanguage diseaseMortality "disease mortality") domainEnglishFormat.kif 19810-19810

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 1243-1243
(diseaseMortality CrimeanCongoHemorrhagicFever 0.3) WMD.kif 1913-1913
(diseaseMortality DengueHemorrhagicFever 0.05) WMD.kif 1653-1653
(diseaseMortality HerpesB 0.7) WMD.kif 1520-1520
(diseaseMortality JapaneseEncephalitis 0.30) WMD.kif 1714-1714
(diseaseMortality LaCrosseEncephalitis 0.01) WMD.kif 1667-1667
(diseaseMortality LassaFever 0.01) WMD.kif 1867-1867
(diseaseMortality LegionnairesDisease 0.125) WMD.kif 1888-1888
(diseaseMortality MarburgDisease 0.25) WMD.kif 1742-1742
(diseaseMortality QFever 0.01) WMD.kif 1164-1164
(diseaseMortality RiftValleyFever 0.01) WMD.kif 1425-1425
(diseaseMortality RockyMountainSpottedFever 0.04) WMD.kif 260-260
(diseaseMortality Smallpox 0.33) WMD.kif 1221-1221
(diseaseMortality Tularemia 0.05) WMD.kif 1216-1216
(diseaseMortality VenezuelanEquineEncephalitis 0.01) WMD.kif 1410-1410


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