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
MaleLifeExpectancyAtBirthFn
の数値 1 引数は
地政学的地域
の
instance
では %n
(
domain
MaleLifeExpectancyAtBirthFn
2
Year
)
People.kif 347-347
MaleLifeExpectancyAtBirthFn
の数値 2 引数は
年
の
instance
では %n
(
instance
MaleLifeExpectancyAtBirthFn
BinaryFunction
)
People.kif 345-345
MaleLifeExpectancyAtBirthFn
は
2変数関数
の
instance
では %n
(
range
MaleLifeExpectancyAtBirthFn
RealNumber
)
People.kif 348-348
MaleLifeExpectancyAtBirthFn
の
range
は
実数
のインスタンス では %n
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
では %n
MaleLifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
average
リスト
and
実数
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