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 3166-3167
(
domain
SubListFn
1
Integer
)
Merge.kif 3162-3162
O argumento numero 1 de
SubListFn
e' uma
instancia
de
Numero Inteiro
(
domain
SubListFn
2
Integer
)
Merge.kif 3163-3163
O argumento numero 2 de
SubListFn
e' uma
instancia
de
Numero Inteiro
(
domain
SubListFn
3
List
)
Merge.kif 3164-3164
O argumento numero 3 de
SubListFn
e' uma
instancia
de
Lista
(
instance
SubListFn
TernaryFunction
)
Merge.kif 3161-3161
SubListFn
e' uma
instancia
de
Funcao Ternaria
(
range
SubListFn
List
)
Merge.kif 3165-3165
O
contra
-dominio de
SubListFn
e' uma instancia de
Lista
appearance as argument number 2
(
format
EnglishLanguage
SubListFn
"the sub-list from %1 to %2 of %3")
Merge.kif 3169-3169
(
termFormat
EnglishLanguage
SubListFn
"sub-list function")
Merge.kif 3168-3168
antecedent
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 0))
(
equal
?R
NullList
))
Merge.kif 3171-3178
Lista
e'
igual
a
SubListFn
Numero Inteiro
,
Numero Inteiro
and
Lista
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a 0
Lista
e'
igual
a
NullList
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3180-3189
Lista
e'
igual
a
SubListFn
Inteiro positivo
,
Numero Inteiro
and
Lista
(
Numero Inteiro
+
Inteiro positivo
) e'
igual
a 1
Lista
e'
igual
a (
Inteiro positivo
th
elemento
de
Lista
)
(=>
(
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 3191-3203
Lista
e'
igual
a
SubListFn
Inteiro positivo
,
Numero Inteiro
and
Lista
(
Numero Inteiro
+
Inteiro positivo
) e'
maior
que 1
Lista
e'
igual
a a
lista
composta de (
Inteiro positivo
th
elemento
de
Lista
) e
SubListFn
(1 +
Inteiro positivo
),
Numero Inteiro
and
Lista
consequent
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3259-3269
Numero Real
e'
igual
a
ListSumFn
Lista
comprimento
de
Lista
e'
maior
que 1
Numero Real
e'
igual
a (
FirstFn
Lista
+
ListSumFn
SubListFn
2,
comprimento
de
Lista
and
Lista
)
(=>
(
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 3191-3203
Lista
e'
igual
a
SubListFn
Inteiro positivo
,
Numero Inteiro
and
Lista
(
Numero Inteiro
+
Inteiro positivo
) e'
maior
que 1
Lista
e'
igual
a a
lista
composta de (
Inteiro positivo
th
elemento
de
Lista
) e
SubListFn
(1 +
Inteiro positivo
),
Numero Inteiro
and
Lista
(=>
(
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 1437-1449
Numero Real
e'
igual
a
VarianceAverageFn
Numero
and
Lista
comprimento
de
Lista
e'
maior
que 1
Numero Real
e'
igual
a (
VarianceAverageFn
Numero
and 1th
elemento
de
Lista
+
VarianceAverageFn
Numero
and
SubListFn
2,
comprimento
de
Lista
and
Lista
)
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