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
DeathsPerThousandLiveBirthsFn
Sigma KEE - DeathsPerThousandLiveBirthsFn
DeathsPerThousandLiveBirthsFn
appearance as argument number 1
(
documentation
DeathsPerThousandLiveBirthsFn
EnglishLanguage
"(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) denotes the
RealNumber
that represents the number of deaths of infants under one year old in a given year per 1,000 live births in the same year. This rate is often used as an indicator of the level of health in a country.")
People.kif 231-235
(
domain
DeathsPerThousandLiveBirthsFn
1
GeopoliticalArea
)
People.kif 228-228
O argumento numero 1 de
DeathsPerThousandLiveBirthsFn
e' uma
instancia
de
Area Geopolitica
(
domain
DeathsPerThousandLiveBirthsFn
2
Year
)
People.kif 229-229
O argumento numero 2 de
DeathsPerThousandLiveBirthsFn
e' uma
instancia
de
Ano
(
instance
DeathsPerThousandLiveBirthsFn
BinaryFunction
)
People.kif 227-227
DeathsPerThousandLiveBirthsFn
e' uma
instancia
de
Funcao Binaria
(
range
DeathsPerThousandLiveBirthsFn
RealNumber
)
People.kif 230-230
O
contra
-dominio de
DeathsPerThousandLiveBirthsFn
e' uma instancia de
Numero Real
appearance as argument number 2
(
format
ChineseLanguage
DeathsPerThousandLiveBirthsFn
"%1 和 %2 每一千个生存出生里的
de
aths ")
domainEnglishFormat.kif 692-692
(
format
ChineseTraditionalLanguage
DeathsPerThousandLiveBirthsFn
"%1 和 %2 每一千個生存出生裡的
de
aths ")
domainEnglishFormat.kif 691-691
(
format
EnglishLanguage
DeathsPerThousandLiveBirthsFn
"the
de
aths per thousand live births of %1 and %2")
domainEnglishFormat.kif 690-690
(
termFormat
ChineseLanguage
DeathsPerThousandLiveBirthsFn
"每千名活产婴儿死亡人数")
domainEnglishFormat.kif 18780-18780
(
termFormat
ChineseTraditionalLanguage
DeathsPerThousandLiveBirthsFn
"每千名活產嬰兒死亡人數")
domainEnglishFormat.kif 18779-18779
(
termFormat
EnglishLanguage
DeathsPerThousandLiveBirthsFn
"deaths per thousand live births")
domainEnglishFormat.kif 18778-18778
antecedent
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandLiveBirthsFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
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