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
Le nombre 1 argument de
SubListFn
est une
instance
de
nombre entier
(
domain
SubListFn
2
Integer
)
Merge.kif 3162-3162
Le nombre 2 argument de
SubListFn
est une
instance
de
nombre entier
(
domain
SubListFn
3
List
)
Merge.kif 3163-3163
Le nombre 3 argument de
SubListFn
est une
instance
de
liste
(
instance
SubListFn
TernaryFunction
)
Merge.kif 3160-3160
SubListFn
est une
instance
de
fonction ternaire
(
range
SubListFn
List
)
Merge.kif 3164-3164
Le
domaine
de
SubListFn
est une instance de
liste
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
Liste
est
SubListFn
nombre entier
,
nombre entier
and
liste
(
nombre entier
+
nombre entier
) est
liste
est
NullList
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
Liste
est
SubListFn
nombre entier positif
,
nombre entier
and
liste
(
nombre entier
+
nombre entier positif
) est
liste
est
nombre entier positif
th
liste
)
(=>
(
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
Liste
est
SubListFn
nombre entier positif
,
nombre entier
and
liste
(
nombre entier
+
nombre entier positif
) est
plus
grand
que 1
liste
est
liste
compos�e de (
nombre entier positif
th
liste
) et
SubListFn
(1 +
nombre entier positif
),
nombre entier
and
liste
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
Nombre r�el
est
ListSumFn
liste
longueur
de
liste
est
plus
grand
que 1
nombre r�el
est
FirstFn
liste
+
ListSumFn
SubListFn
2,
longueur
de
liste
and
liste
)
(=>
(
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
Liste
est
SubListFn
nombre entier positif
,
nombre entier
and
liste
(
nombre entier
+
nombre entier positif
) est
plus
grand
que 1
liste
est
liste
compos�e de (
nombre entier positif
th
liste
) et
SubListFn
(1 +
nombre entier positif
),
nombre entier
and
liste
(=>
(
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
Nombre r�el
est
VarianceAverageFn
nombre
and
liste
longueur
de
liste
est
plus
grand
que 1
nombre r�el
est
VarianceAverageFn
nombre
and 1th
liste
+
VarianceAverageFn
nombre
and
SubListFn
2,
longueur
de
liste
and
liste
)
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