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 848-849
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 846-846
(domain diseaseMortality 2 RealNumber) WMD.kif 847-847
(instance diseaseMortality BinaryPredicate) WMD.kif 845-845

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

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


(=>
    (diseaseMortality ?DISEASE ?RATE)
    (and
        (greaterThan ?RATE 0)
        (lessThan ?RATE 1)))
WMD.kif 860-864
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (conditionalProbability
        (attribute ?ORGANISM ?DISEASE)
        (exists (?DEATH)
            (and
                (instance ?DEATH Death)
                (experiencer ?DEATH ?ORGANISM))) ?RATE))
WMD.kif 851-858
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (instance ?DISEASE LifeThreateningDisease))
WMD.kif 866-868

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


(diseaseMortality Covid19 0.028) VirusProteinAndCellPart.kif 659-659
(diseaseMortality CrimeanCongoHemorrhagicFever 0.3) WMD.kif 1779-1779
(diseaseMortality DengueHemorrhagicFever 0.05) WMD.kif 1519-1519
(diseaseMortality HerpesB 0.7) WMD.kif 1417-1417
(diseaseMortality JapaneseEncephalitis 0.30) WMD.kif 1580-1580
(diseaseMortality LaCrosseEncephalitis 0.01) WMD.kif 1533-1533
(diseaseMortality LassaFever 0.01) WMD.kif 1733-1733
(diseaseMortality LegionnairesDisease 0.125) WMD.kif 1754-1754
(diseaseMortality MarburgDisease 0.25) WMD.kif 1608-1608
(diseaseMortality QFever 0.01) WMD.kif 1083-1083
(diseaseMortality RiftValleyFever 0.01) WMD.kif 1328-1328
(diseaseMortality RockyMountainSpottedFever 0.04) WMD.kif 260-260
(diseaseMortality Smallpox 0.33) WMD.kif 1140-1140
(diseaseMortality Tularemia 0.05) WMD.kif 1135-1135
(diseaseMortality VenezuelanEquineEncephalitis 0.01) WMD.kif 1313-1313


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