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
-------------------------


s__documentation(s__diseaseMortality__m,s__EnglishLanguage,'"(diseaseMortality ?DISEASE ?NUMBER) means that DiseaseOrSyndrome ?DISEASE has a Mortality rate of ?NUMBER."')

WMD.kif 881-882
s__domain(s__diseaseMortality__m,n__1,s__DiseaseOrSyndrome)

WMD.kif 879-879 The number 1 argument of disease mortality is an instance of disease or syndrome
s__domain(s__diseaseMortality__m,n__2,s__RealNumber)

WMD.kif 880-880 The number 2 argument of disease mortality is an instance of real number
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__diseaseMortality__m,s__BinaryPredicate)

WMD.kif 878-878 disease mortality is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__diseaseMortality__m,'"%2 %n 是 %1 的 disease 死亡"')

domainEnglishFormat.kif 772-772
s__format(s__ChineseTraditionalLanguage,s__diseaseMortality__m,'"%2 %n 是 %1 的 disease 死亡"')

domainEnglishFormat.kif 771-771
s__format(s__EnglishLanguage,s__diseaseMortality__m,'"%2 is %n a disease mortality of %1"')

domainEnglishFormat.kif 770-770
s__termFormat(s__ChineseLanguage,s__diseaseMortality__m,'"疾病死亡率"')

domainEnglishFormat.kif 19803-19803
s__termFormat(s__ChineseTraditionalLanguage,s__diseaseMortality__m,'"疾病死亡率"')

domainEnglishFormat.kif 19802-19802
s__termFormat(s__EnglishLanguage,s__diseaseMortality__m,'"disease mortality"')

domainEnglishFormat.kif 19801-19801

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


( ! [V__RATE,V__DISEASE] :
   (((s__instance(V__RATE,s__RealNumber) &
         s__instance(V__DISEASE,s__DiseaseOrSyndrome))
       =>
       ((s__diseaseMortality(V__DISEASE,V__RATE)
         =>
         ((s__greaterThan(V__RATE,n__0)
           &
           s__lessThan(V__RATE,n__1))))))
)
)

WMD.kif 893-897
No TPTP formula. May not be expressible in strict first order. WMD.kif 884-891
( ! [V__RATE,V__DISEASE] :
   (((s__instance(V__RATE,s__RealNumber) &
         s__instance(V__DISEASE,s__DiseaseOrSyndrome))
       =>
       ((s__diseaseMortality(V__DISEASE,V__RATE)
         =>
         (s__instance(V__DISEASE,s__LifeThreateningDisease)))))
   )
)

WMD.kif 899-901

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


s__diseaseMortality(s__Covid19,n__0_028)

VirusProteinAndCellPart.kif 661-661 0.028 is a disease mortality of Covid
s__diseaseMortality(s__CrimeanCongoHemorrhagicFever,n__0_3)

WMD.kif 1852-1852 0.3 is a disease mortality of crimean congo hemorrhagic fever
s__diseaseMortality(s__DengueHemorrhagicFever,n__0_05)

WMD.kif 1592-1592 0.05 is a disease mortality of dengue hemorrhagic fever
s__diseaseMortality(s__HerpesB,n__0_7)

WMD.kif 1490-1490 0.7 is a disease mortality of herpes b
s__diseaseMortality(s__JapaneseEncephalitis,n__0_30)

WMD.kif 1653-1653 0.30 is a disease mortality of japanese encephalitis
s__diseaseMortality(s__LaCrosseEncephalitis,n__0_01)

WMD.kif 1606-1606 0.01 is a disease mortality of la crosse encephalitis
s__diseaseMortality(s__LassaFever,n__0_01)

WMD.kif 1806-1806 0.01 is a disease mortality of lassa fever
s__diseaseMortality(s__LegionnairesDisease,n__0_125)

WMD.kif 1827-1827 0.125 is a disease mortality of legionnaires disease
s__diseaseMortality(s__MarburgDisease,n__0_25)

WMD.kif 1681-1681 0.25 is a disease mortality of marburg disease
s__diseaseMortality(s__QFever,n__0_01)

WMD.kif 1150-1150 0.01 is a disease mortality of Q fever
s__diseaseMortality(s__RiftValleyFever,n__0_01)

WMD.kif 1395-1395 0.01 is a disease mortality of rift valley fever
s__diseaseMortality(s__RockyMountainSpottedFever,n__0_04)

WMD.kif 260-260 0.04 is a disease mortality of rocky mountain spotted fever
s__diseaseMortality(s__Smallpox,n__0_33)

WMD.kif 1207-1207 0.33 is a disease mortality of smallpox
s__diseaseMortality(s__Tularemia,n__0_05)

WMD.kif 1202-1202 0.05 is a disease mortality of tularemia
s__diseaseMortality(s__VenezuelanEquineEncephalitis,n__0_01)

WMD.kif 1380-1380 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