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
Die Zahl 1 Argument von
SubListFn
ist ein
fall
von
Integer
%n{nicht}
(
domain
SubListFn
2
Integer
)
Merge.kif 3162-3162
Die Zahl 2 Argument von
SubListFn
ist ein
fall
von
Integer
%n{nicht}
(
domain
SubListFn
3
List
)
Merge.kif 3163-3163
Die Zahl 3 Argument von
SubListFn
ist ein
fall
von
List
%n{nicht}
(
instance
SubListFn
TernaryFunction
)
Merge.kif 3160-3160
SubListFn
ist ein
fall
von
TernaryFunction
%n{nicht}
(
range
SubListFn
List
)
Merge.kif 3164-3164
bildbereich
von
SubListFn
ist ein fall von
List
{nicht}
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
Wenn
List
ist gleich
SubListFn
Integer
,
** Integer
and
** List
%n{nicht} und (
** ** Integer
und
** Integer
) ist gleich 0 %n{nicht},
dann
** List
ist gleich
NullList
%n{nicht}
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
Wenn
List
ist gleich
SubListFn
PositiveInteger
,
Integer
and
** List
%n{nicht} und (
** Integer
und
** PositiveInteger
) ist gleich 1 %n{nicht},
dann
** List
ist gleich (
** PositiveInteger
te
mitglied
von
** ** List
) %n{nicht}
(=>
(
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
Wenn
List
ist gleich
SubListFn
PositiveInteger
,
Integer
and
** List
%n{nicht} und (
** Integer
und
** PositiveInteger
) ist
groesserAls
1 %n{nicht},
dann
** List
ist gleich die Liste bestanden aus (
** PositiveInteger
te
mitglied
von
** ** List
) und
SubListFn
(1 und
** PositiveInteger
),
** Integer
and
** ** List
%n{nicht}
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
Wenn
RealNumber
ist gleich
ListSumFn
List
%n{nicht} und
Laenge
von
** List
ist
groesserAls
1 %n{nicht},
dann
** RealNumber
ist gleich (
FirstFn
** List
und
ListSumFn
SubListFn
2,
Laenge
von
** List
and
** List
) %n{nicht}
(=>
(
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
Wenn
List
ist gleich
SubListFn
PositiveInteger
,
Integer
and
** List
%n{nicht} und (
** Integer
und
** PositiveInteger
) ist
groesserAls
1 %n{nicht},
dann
** List
ist gleich die Liste bestanden aus (
** PositiveInteger
te
mitglied
von
** ** List
) und
SubListFn
(1 und
** PositiveInteger
),
** Integer
and
** ** List
%n{nicht}
(=>
(
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
Wenn
RealNumber
ist gleich
VarianceAverageFn
Number
and
List
%n{nicht} und
Laenge
von
** List
ist
groesserAls
1 %n{nicht},
dann
** RealNumber
ist gleich (
VarianceAverageFn
** Number
and 1te
mitglied
von
** List
und
VarianceAverageFn
** Number
and
SubListFn
2,
Laenge
von
** List
and
** List
) %n{nicht}
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