Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
The number 1 argument of
disease mortality
is an
instance
of
disease or syndrome
(
domain
diseaseMortality
2
RealNumber
)
WMD.kif 886-886
The number 2 argument of
disease mortality
is an
instance
of
real number
(
instance
diseaseMortality
BinaryPredicate
)
WMD.kif 884-884
disease mortality
is an
instance
of
binary predicate
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
If
a real number
is a
disease
mortality of
a disease or syndrome
,
then
the real number
is
greater
than 0.0 and
the real number
is
less
than 1.0
(=>
(
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
If
a real number
is a
disease
mortality of
a disease or syndrome
,
then
probability
of there exists
an entity
such that
the entity
is an
instance
of
organism
and
the disease or syndrome
is an
attribute
of
the entity
provided that there exists
another entity
such that
the other entity
is an
instance
of
death
and
the entity
experience
s
the other entity
holds is
the real number
(=>
(
diseaseMortality
?DISEASE ?RATE)
(
instance
?DISEASE
LifeThreateningDisease
))
WMD.kif 908-910
If
a real number
is a
disease
mortality of
a disease or syndrome
,
then
the disease or syndrome
is an
instance
of
life threatening disease
appearance as argument number 0
(
diseaseMortality
Covid19
0.028)
VirusProteinAndCellPart.kif 1243-1243
0.028 is a
disease
mortality of
Covid
(
diseaseMortality
CrimeanCongoHemorrhagicFever
0.3)
WMD.kif 1913-1913
0.3 is a
disease
mortality of
crimean congo hemorrhagic fever
(
diseaseMortality
DengueHemorrhagicFever
0.05)
WMD.kif 1653-1653
0.05 is a
disease
mortality of
dengue hemorrhagic fever
(
diseaseMortality
HerpesB
0.7)
WMD.kif 1520-1520
0.7 is a
disease
mortality of
herpes b
(
diseaseMortality
JapaneseEncephalitis
0.30)
WMD.kif 1714-1714
0.30 is a
disease
mortality of
japanese encephalitis
(
diseaseMortality
LaCrosseEncephalitis
0.01)
WMD.kif 1667-1667
0.01 is a
disease
mortality of
la crosse encephalitis
(
diseaseMortality
LassaFever
0.01)
WMD.kif 1867-1867
0.01 is a
disease
mortality of
lassa fever
(
diseaseMortality
LegionnairesDisease
0.125)
WMD.kif 1888-1888
0.125 is a
disease
mortality of
legionnaires disease
(
diseaseMortality
MarburgDisease
0.25)
WMD.kif 1742-1742
0.25 is a
disease
mortality of
marburg disease
(
diseaseMortality
QFever
0.01)
WMD.kif 1164-1164
0.01 is a
disease
mortality of
Q fever
(
diseaseMortality
RiftValleyFever
0.01)
WMD.kif 1425-1425
0.01 is a
disease
mortality of
rift valley fever
(
diseaseMortality
RockyMountainSpottedFever
0.04)
WMD.kif 260-260
0.04 is a
disease
mortality of
rocky mountain spotted fever
(
diseaseMortality
Smallpox
0.33)
WMD.kif 1221-1221
0.33 is a
disease
mortality of
smallpox
(
diseaseMortality
Tularemia
0.05)
WMD.kif 1216-1216
0.05 is a
disease
mortality of
tularemia
(
diseaseMortality
VenezuelanEquineEncephalitis
0.01)
WMD.kif 1410-1410
0.01 is a
disease
mortality of
venezuelan equine encephalitis
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