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

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.0)
        (lessThan ?RATE 1.0)))		 WMD.kif 898-902
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (conditionalProbability
        (attribute ?ORGANISM ?DISEASE)
        (exists (?DEATH)
            (and
                (instance ?DEATH Death)
                (experiencer ?DEATH ?ORGANISM))) ?RATE))		 WMD.kif 889-896
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (instance ?DISEASE LifeThreateningDisease))		 WMD.kif 904-906

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


(diseaseMortality Covid19 0.028) VirusProteinAndCellPart.kif 730-730
(diseaseMortality CrimeanCongoHemorrhagicFever 0.3) WMD.kif 1904-1904
(diseaseMortality DengueHemorrhagicFever 0.05) WMD.kif 1644-1644
(diseaseMortality HerpesB 0.7) WMD.kif 1511-1511
(diseaseMortality JapaneseEncephalitis 0.30) WMD.kif 1705-1705
(diseaseMortality LaCrosseEncephalitis 0.01) WMD.kif 1658-1658
(diseaseMortality LassaFever 0.01) WMD.kif 1858-1858
(diseaseMortality LegionnairesDisease 0.125) WMD.kif 1879-1879
(diseaseMortality MarburgDisease 0.25) WMD.kif 1733-1733
(diseaseMortality QFever 0.01) WMD.kif 1156-1156
(diseaseMortality RiftValleyFever 0.01) WMD.kif 1416-1416
(diseaseMortality RockyMountainSpottedFever 0.04) WMD.kif 260-260
(diseaseMortality Smallpox 0.33) WMD.kif 1213-1213
(diseaseMortality Tularemia 0.05) WMD.kif 1208-1208
(diseaseMortality VenezuelanEquineEncephalitis 0.01) WMD.kif 1401-1401


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