Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
average
Sigma KEE - average
average
appearance as argument number 1
(
documentation
average
ChineseLanguage
"这是一个部分函数,只要一个
List
的元素都是
RealNumber
,它会把这个
List
和一个
RealNumber
联系起来。和这个
List
联系的
RealNumber
等于这个
List
内的
RealNumber
的数学平均 除以列表元素的总数。")
chinese_format.kif 2284-2286
(
documentation
average
EnglishLanguage
"A partial function that relates a
List
to a
RealNumber
, provided that the
List
only has list elements that are
RealNumber
s. The
RealNumber
associated with the
List
is equal to the mathematical average of the
RealNumber
s in the
List
divided by the total number of list elements.")
Merge.kif 5391-5395
(
documentation
average
JapaneseLanguage
"
List
を
RealNumber
に関連付ける部分関数で、
List
に
RealNumber
であるリスト要素のみが含まれる。
List
に関連付けられた
RealNumber
は、
List
の
RealNumber
の数学的平均をリスト要素の総数で割った値に等しい。")
japanese_format.kif 952-954
(
domain
average
1
List
)
Merge.kif 5388-5388
average
の数値 1 引数は
リスト
の
instance
では
(
domain
average
2
RealNumber
)
Merge.kif 5389-5389
average
の数値 2 引数は
実数
の
instance
では
(
instance
average
BinaryPredicate
)
Merge.kif 5386-5386
average
は
2進述語
の
instance
では
(
instance
average
PartialValuedRelation
)
Merge.kif 5385-5385
average
は
部分的価値関係
の
instance
では
(
instance
average
SingleValuedRelation
)
Merge.kif 5387-5387
average
は
一価関係
の
instance
では
appearance as argument number 2
(
format
ChineseLanguage
average
"%2 %n 是 %1 的
average
")
domainEnglishFormat.kif 228-228
(
format
ChineseTraditionalLanguage
average
"%2 %n 是 %1 的
average
")
domainEnglishFormat.kif 227-227
(
format
EnglishLanguage
average
"%2 is %n an
average
of %1")
domainEnglishFormat.kif 226-226
(
termFormat
ChineseLanguage
average
"平均")
domainEnglishFormat.kif 9343-9343
(
termFormat
ChineseTraditionalLanguage
average
"平均")
domainEnglishFormat.kif 9342-9342
(
termFormat
EnglishLanguage
average
"average")
english_format.kif 1847-1847
antecedent
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 272-293
average
リスト
and
実数
リスト
正の整数
equal
リスト
の
length
and
リスト
の
length
equal
リスト
の 1th
element
and
リスト
の 1th
element
正の整数
正の整数
は
リスト
の
member
では
実数
実数
MINUSONE,
正の整数
and
正の整数
実数
は 1 より
greater
では
実数
は
リスト
の
length
より
less
または同等 では
equal
リスト
の
正の整数
th
element
and
実数
正の整数
は
リスト
の
member
では
equal
実数
and
リスト
の
正の整数
th
element
正の整数
は
リスト
の
member
では
equal
実数
MINUSONE and (
実数
+ 1)
equal
実数
MINUSONE and
リスト
の
正の整数
th
element
equal
正の整数
and (
正の整数
+
正の整数
)
equal
正の整数
and
リスト
の
length
equal
実数
and
リスト
の
正の整数
th
element
+
正の整数
(=>
(
average
?LIST ?AVERAGE)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
instance
?LISTITEM
RealNumber
))))
Merge.kif 5397-5402
average
リスト
and
実数
リスト
ITEM
リスト
ITEM は
リスト
の
member
では
リスト
ITEM は
実数
の
instance
では
consequent
(<=>
(
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
では
equal
MaleLifeExpectancyAtBirthFn
地政学的地域
and
年
and
実数
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では
リスト
の
length
は
整数
の
instance
では
リスト
ITEM
リスト
ITEM は
リスト
の
member
では
リスト
ITEM は
記号文字列
の
instance
では
エンティティー
エンティティー
は
記号文字列
の
instance
では
エンティティー
は
リスト
の
member
では
equal
整数
and
記号文字列
で記述される
class
の
instances
の数
average
リスト
and
実数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?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
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
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 403-436
年
は
整数
year
目 の
instance
では
equal
FemaleLifeExpectancyAtBirthFn
地政学的地域
and
年
and
実数
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では
リスト
の
length
は
整数
の
instance
では
リスト
ITEM
リスト
ITEM は
リスト
の
member
では
リスト
ITEM は
記号文字列
の
instance
では
エンティティー
エンティティー
は
記号文字列
の
instance
では
エンティティー
は
リスト
の
member
では
equal
整数
and
記号文字列
で記述される
class
の
instances
の数
average
リスト
and
実数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?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
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
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 310-342
年
は
整数
year
目 の
instance
では
equal
LifeExpectancyAtBirthFn
地政学的地域
and
年
and
実数
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では
リスト
の
length
は
整数
の
instance
では
リスト
ITEM
リスト
ITEM は
リスト
の
member
では
リスト
ITEM は
記号文字列
の
instance
では
エンティティー
エンティティー
は
記号文字列
の
instance
では
エンティティー
は
リスト
の
member
では
equal
整数
and
記号文字列
で記述される
class
の
instances
の数
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