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 | |
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 1)) (equal ?R (ListFn (ListOrderFn ?L ?S)))) |
Merge.kif 3192-3201 | |
(=> (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 |
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 | |
(=> (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 | |
(=> (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 2178-2190 |
![]() |
![]() |