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 3178-3179
(domain SubListFn 1 Integer)	Merge.kif 3174-3174	SubListFn の数値 1 引数は整数の instance では
(domain SubListFn 2 Integer)	Merge.kif 3175-3175	SubListFn の数値 2 引数は整数の instance では
(domain SubListFn 3 List)	Merge.kif 3176-3176	SubListFn の数値 3 引数はリストの instance では
(instance SubListFn TernaryFunction)	Merge.kif 3173-3173	SubListFn は 3変数関数の instance では
(range SubListFn List)	Merge.kif 3177-3177	SubListFn の range はリストのインスタンスでは

appearance as argument number 2

(format EnglishLanguage SubListFn "the sub-list from %1 to %2 of %3")	Merge.kif 3181-3181
(termFormat EnglishLanguage SubListFn "sub-list function")	Merge.kif 3180-3180

antecedent

(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 0)) (equal ?R NullList))	Merge.kif 3183-3190	equal リスト and SubListFn 整数, 整数 and リスト equal ( 整数 + 整数) and 0 equal リスト and NullList
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 1)) (equal ?R (ListFn (ListOrderFn ?L ?S))))	Merge.kif 3192-3201	equal リスト and SubListFn 正の整数, 整数 and リスト equal ( 整数 + 正の整数) and 1 equal リスト and ( リストの正の整数th element)
(=> (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 3203-3215	equal リスト and SubListFn 正の整数, 整数 and リスト ( 整数 + 正の整数) は 1 より greater では　 equal リスト and ( リストの正の整数th element) と SubListFn (1 + 正の整数), 整数 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 3271-3281	equal 実数 and ListSumFn リストリストの length は 1 より greater では　 equal 実数 and (FirstFn リスト + ListSumFn SubListFn 2, リストの length and リスト)
(=> (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 3203-3215	equal リスト and SubListFn 正の整数, 整数 and リスト ( 整数 + 正の整数) は 1 より greater では　 equal リスト and ( リストの正の整数th element) と SubListFn (1 + 正の整数), 整数 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 2283-2295	equal 実数 and VarianceAverageFn 数 and リストリストの length は 1 より greater では　 equal 実数 and (VarianceAverageFn 数 and リストの 1th element + VarianceAverageFn 数 and SubListFn 2, リストの length and リスト)

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