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
ListSumFn
Sigma KEE - ListSumFn
ListSumFn
appearance as argument number 1
(
documentation
ListSumFn
EnglishLanguage
"The sum of all the numbers in a
List
.")
Merge.kif 3242-3242
(
domain
ListSumFn
1
List
)
Merge.kif 3240-3240
ListSumFn
的 1 数量 是
串列
的
instance
(
instance
ListSumFn
UnaryFunction
)
Merge.kif 3239-3239
ListSumFn
是
一元函数
的
instance
(
range
ListSumFn
RealNumber
)
Merge.kif 3241-3241
ListSumFn
的
range
是
实数
的实例
appearance as argument number 2
(
format
EnglishLanguage
ListSumFn
"the sum of %1")
Merge.kif 3243-3243
(
termFormat
EnglishLanguage
ListSumFn
"sum of elements")
Merge.kif 3244-3244
antecedent
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?A
(
ListOrderFn
?L 1)))
Merge.kif 3252-3256
如果
实数
equal
ListSumFn
串列
和 1
equal
那个 串列
的长度,
然后
那个 实数
equal
那个 串列
的第 1 几个元素
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3258-3268
如果
实数
equal
ListSumFn
串列
和
那个 串列
的长度 是
greaterThan
1,
然后
那个 实数
equal
(
那个 串列
的
first
和
ListSumFn
SubListFn
2,
那个 串列
的长度 and
那个 串列
)
consequent
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
如果
amount
有点 物质
,
躯体性物体
and
实数
UnitOfMass
和
有点 物质
I 是
那个 有点 物质
的
instance
和
那个 有点 物质
I 的
measure
是
那个 实数
2
那个 UnitOfMass
和
那个 有点 物质
I 是
那个 躯体性物体
的
part
,
然后 有存在
串列
这样
那个 实数
2
那个 UnitOfMass
是
那个 串列
的
member
和
那个 串列
equal
AmountsFn
那个 有点 物质
,
那个 躯体性物体
and
那个 UnitOfMass
和
那个 实数
equal
ListSumFn
那个 串列
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3277-3284
如果
实数
equal
AverageFn
串列
和
那个 串列
的长度 是
greaterThan
0,
然后
那个 实数
equal
ListSumFn
那个 串列
和
那个 串列
的长度
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3258-3268
如果
实数
equal
ListSumFn
串列
和
那个 串列
的长度 是
greaterThan
1,
然后
那个 实数
equal
(
那个 串列
的
first
和
ListSumFn
SubListFn
2,
那个 串列
的长度 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