TreeView Knowledge Base Browser - SubListFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 では %n
(domain SubListFn 2 Integer)	Merge.kif 3162-3162	SubListFn の数値 2 引数は整数の instance では %n
(domain SubListFn 3 List)	Merge.kif 3163-3163	SubListFn の数値 3 引数はリストの instance では %n
(instance SubListFn TernaryFunction)	Merge.kif 3160-3160	SubListFn は 3変数関数の instance では %n
(range SubListFn List)	Merge.kif 3164-3164	SubListFn の range はリストのインスタンスでは %n

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	リストは SubListFn 整数, 整数 and リストと equal では %n ( 整数 + 整数) は 0 と equal では %n リストは NullList と equal では %n
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 1)) (equal ?R (ListFn (ListOrderFn ?L ?S))))	Merge.kif 3179-3188	リストは SubListFn 正の整数, 整数 and リストと equal では %n ( 整数 + 正の整数) は 1 と equal では %n リストは ( リストの正の整数th element) と equal では %n
(=> (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	リストは SubListFn 正の整数, 整数 and リストと equal では %n ( 整数 + 正の整数) は 1 より greater では　%n リストは ( リストの正の整数th element) と SubListFn (1 + 正の整数), 整数 and リストで構成される list と equal では %n

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	実数は ListSumFn リストと equal では %n リストの length は 1 より greater では　%n 実数は (FirstFn リスト + ListSumFn SubListFn 2, リストの length and リスト) と equal では %n
(=> (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	リストは SubListFn 正の整数, 整数 and リストと equal では %n ( 整数 + 正の整数) は 1 より greater では　%n リストは ( リストの正の整数th element) と SubListFn (1 + 正の整数), 整数 and リストで構成される list と equal では %n
(=> (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	実数は VarianceAverageFn 数 and リストと equal では %n リストの length は 1 より greater では　%n 実数は (VarianceAverageFn 数 and リストの 1th element + VarianceAverageFn 数 and SubListFn 2, リストの length and リスト) と equal では %n

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