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 and
Integer
(
domain
SubListFn
2
Integer
)
Merge.kif 3162-3162
域
SubListFn
, 2 and
Integer
(
domain
SubListFn
3
List
)
Merge.kif 3163-3163
域
SubListFn
, 3 and
List
(
instance
SubListFn
TernaryFunction
)
Merge.kif 3160-3160
例
SubListFn
and
TernaryFunction
(
range
SubListFn
List
)
Merge.kif 3164-3164
範圍
SubListFn
and
List
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
等於
List
and
SubListFn
Integer
,
Integer
and
List
等於
減法
Integer
and
Integer
and 0
等於
List
and
空列表
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
等於
List
and
SubListFn
PositiveInteger
,
Integer
and
List
等於
減法
Integer
and
PositiveInteger
and 1
等於
List
and
名單
清單順序
List
and
PositiveInteger
(=>
(
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
等於
List
and
SubListFn
PositiveInteger
,
Integer
and
List
比較多
減法
Integer
and
PositiveInteger
and 1
等於
List
and
列表連接
名單
清單順序
List
and
PositiveInteger
and
SubListFn
加成
1 and
PositiveInteger
,
Integer
and
List
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
等於
RealNumber
and
ListSumFn
List
比較多
列表長度
List
and 1
等於
RealNumber
and
加成
List
的
first
and
ListSumFn
SubListFn
2,
列表長度
List
and
List
(=>
(
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
等於
List
and
SubListFn
PositiveInteger
,
Integer
and
List
比較多
減法
Integer
and
PositiveInteger
and 1
等於
List
and
列表連接
名單
清單順序
List
and
PositiveInteger
and
SubListFn
加成
1 and
PositiveInteger
,
Integer
and
List
(=>
(
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 1449-1461
等於
RealNumber
and
VarianceAverageFn
Number
and
List
比較多
列表長度
List
and 1
等於
RealNumber
and
加成
VarianceAverageFn
Number
and
清單順序
List
and 1 and
VarianceAverageFn
Number
and
SubListFn
2,
列表長度
List
and
List
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