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
SubListFn
Sigma KEE - SubListFn
SubListFn
appearance as argument number 1
(
documentation
SubListFn
EnglishLanguage
"A
Function
that returns a portion of the
List
that runs from the first index to the second index - 1. Note that lists subscripts begin at 1.")
Merge.kif 3165-3166
(
domain
SubListFn
1
Integer
)
Merge.kif 3161-3161
SubListFn
的 1 数量 是
整数
的
instance
(
domain
SubListFn
2
Integer
)
Merge.kif 3162-3162
SubListFn
的 2 数量 是
整数
的
instance
(
domain
SubListFn
3
List
)
Merge.kif 3163-3163
SubListFn
的 3 数量 是
串列
的
instance
(
instance
SubListFn
TernaryFunction
)
Merge.kif 3160-3160
SubListFn
是
三元函数
的
instance
(
range
SubListFn
List
)
Merge.kif 3164-3164
SubListFn
的
range
是
串列
的实例
appearance as argument number 2
(
format
EnglishLanguage
SubListFn
"the sub-list from %1 to %2 of %3")
Merge.kif 3168-3168
(
termFormat
EnglishLanguage
SubListFn
"sub-list function")
Merge.kif 3167-3167
antecedent
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 0))
(
equal
?R
NullList
))
Merge.kif 3170-3177
如果
串列
equal
SubListFn
整数
,
另一个 整数
and
另一个 串列
和 (
那个 另外 整数
和
那个 整数
)
equal
0,
然后
那个 串列
equal
空列表
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
如果
串列
equal
SubListFn
正整数
,
整数
and
另一个 串列
和 (
那个 整数
和
那个 正整数
)
equal
1,
然后
那个 串列
equal
(
那个 另外 串列
的第
那个 正整数
几个元素)
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3190-3202
如果
串列
equal
SubListFn
正整数
,
整数
and
另一个 串列
和 (
那个 整数
和
那个 正整数
) 是
greaterThan
1,
然后
那个 串列
equal
List
包含 (
那个 另外 串列
的第
那个 正整数
几个元素) 和
SubListFn
(1 和
那个 正整数
),
那个 整数
and
那个 另外 串列
consequent
(=>
(
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
那个 串列
)
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3190-3202
如果
串列
equal
SubListFn
正整数
,
整数
and
另一个 串列
和 (
那个 整数
和
那个 正整数
) 是
greaterThan
1,
然后
那个 串列
equal
List
包含 (
那个 另外 串列
的第
那个 正整数
几个元素) 和
SubListFn
(1 和
那个 正整数
),
那个 整数
and
那个 另外 串列
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1453-1465
如果
实数
equal
方差均差函数
数字
and
串列
和
那个 串列
的长度 是
greaterThan
1,
然后
那个 实数
equal
(
方差均差函数
那个 数字
and
那个 串列
的第 1 几个元素 和
方差均差函数
那个 数字
and
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