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
MaleLifeExpectancyAtBirthFn
Sigma KEE - MaleLifeExpectancyAtBirthFn
MaleLifeExpectancyAtBirthFn
appearance as argument number 1
(
documentation
MaleLifeExpectancyAtBirthFn
EnglishLanguage
"(
MaleLifeExpectancyAtBirthFn
?AREA ?YEAR) denotes the
RealNumber
that represents the average number of years to be lived by a group of male individuals born in the same year, if mortality at each age remains constant in the future.")
People.kif 349-352
(
domain
MaleLifeExpectancyAtBirthFn
1
GeopoliticalArea
)
People.kif 346-346
男性出生时的预期寿命
的 1 数量 是
地缘政治区域
的
instance
(
domain
MaleLifeExpectancyAtBirthFn
2
Year
)
People.kif 347-347
男性出生时的预期寿命
的 2 数量 是
年
的
instance
(
instance
MaleLifeExpectancyAtBirthFn
BinaryFunction
)
People.kif 345-345
男性出生时的预期寿命
是
二元函数
的
instance
(
range
MaleLifeExpectancyAtBirthFn
RealNumber
)
People.kif 348-348
男性出生时的预期寿命
的
range
是
实数
的实例
appearance as argument number 2
(
format
ChineseLanguage
MaleLifeExpectancyAtBirthFn
"%1 和 %2 的 male 出生估计寿命")
domainEnglishFormat.kif 1599-1599
(
format
ChineseTraditionalLanguage
MaleLifeExpectancyAtBirthFn
"%1 和 %2 的 male 出生估計壽命")
domainEnglishFormat.kif 1598-1598
(
format
EnglishLanguage
MaleLifeExpectancyAtBirthFn
"the male life expectancy at birth of %1 and %2")
domainEnglishFormat.kif 1597-1597
(
termFormat
ChineseLanguage
MaleLifeExpectancyAtBirthFn
"男性出生时的预期寿命")
domainEnglishFormat.kif 35837-35837
(
termFormat
ChineseTraditionalLanguage
MaleLifeExpectancyAtBirthFn
"男性出生時的預期壽命")
domainEnglishFormat.kif 35836-35836
(
termFormat
EnglishLanguage
MaleLifeExpectancyAtBirthFn
"male life expectancy at birth")
domainEnglishFormat.kif 35835-35835
antecedent
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
年
是
那个 年
EAR
year
的
instance
和
地缘政治区域
和
那个 年
的
male
出生估计寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
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