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 881-882
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 879-879
(domain diseaseMortality 2 RealNumber) WMD.kif 880-880
(instance diseaseMortality BinaryPredicate) WMD.kif 878-878

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

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


(=>
    (diseaseMortality ?DISEASE ?RATE)
    (and
        (greaterThan ?RATE 0)
        (lessThan ?RATE 1)))
WMD.kif 893-897
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (conditionalProbability
        (attribute ?ORGANISM ?DISEASE)
        (exists (?DEATH)
            (and
                (instance ?DEATH Death)
                (experiencer ?DEATH ?ORGANISM))) ?RATE))
WMD.kif 884-891
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (instance ?DISEASE LifeThreateningDisease))
WMD.kif 899-901

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


(diseaseMortality Covid19 0.028) VirusProteinAndCellPart.kif 659-659
(diseaseMortality CrimeanCongoHemorrhagicFever 0.3) WMD.kif 1812-1812
(diseaseMortality DengueHemorrhagicFever 0.05) WMD.kif 1552-1552
(diseaseMortality HerpesB 0.7) WMD.kif 1450-1450
(diseaseMortality JapaneseEncephalitis 0.30) WMD.kif 1613-1613
(diseaseMortality LaCrosseEncephalitis 0.01) WMD.kif 1566-1566
(diseaseMortality LassaFever 0.01) WMD.kif 1766-1766
(diseaseMortality LegionnairesDisease 0.125) WMD.kif 1787-1787
(diseaseMortality MarburgDisease 0.25) WMD.kif 1641-1641
(diseaseMortality QFever 0.01) WMD.kif 1116-1116
(diseaseMortality RiftValleyFever 0.01) WMD.kif 1361-1361
(diseaseMortality RockyMountainSpottedFever 0.04) WMD.kif 260-260
(diseaseMortality Smallpox 0.33) WMD.kif 1173-1173
(diseaseMortality Tularemia 0.05) WMD.kif 1168-1168
(diseaseMortality VenezuelanEquineEncephalitis 0.01) WMD.kif 1346-1346


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