Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SubListFn |
| appearance as argument number 1 |
|
| (instance SubListFn TernaryFunction) | Merge.kif 3271-3271 | Sub-list function is an instance of ternary function |
| (domain SubListFn 1 Integer) | Merge.kif 3272-3272 | The number 1 argument of sub-list function is an instance of integer |
| (domain SubListFn 2 Integer) | Merge.kif 3273-3273 | The number 2 argument of sub-list function is an instance of integer |
| (domain SubListFn 3 List) | Merge.kif 3274-3274 | The number 3 argument of sub-list function is an instance of list |
| (range SubListFn List) | Merge.kif 3275-3275 | The range of sub-list function is an instance of list |
| (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 3276-3277 | The range of sub-list function is an instance of list |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SubListFn "sub-list function") | Merge.kif 3278-3278 | |
| (format EnglishLanguage SubListFn "the sub-list from %1 to %2 of %3") | Merge.kif 3279-3279 |
| antecedent |
|
|
| (=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 0)) (equal ?R NullList)) |
Merge.kif 3281-3288 | If equal X and the sub-list from Y to Z of W and equal (Z and Y) and 0, then equal X and null list |
| (=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 1)) (equal ?R (ListFn (ListOrderFn ?L ?S)))) |
Merge.kif 3290-3299 | If equal X and the sub-list from Y to Z of W and equal (Z and Y) and 1, then equal X and (V element of W) |
| (=> (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 3301-3313 | If equal X and the sub-list from Y to Z of W and (Z and Y) is greater than 1, then equal X and the list composed of (V element of W) and the sub-list from (1 and Y) to Z of W |
| consequent |
|
|
| (=> (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 3301-3313 | If equal X and the sub-list from Y to Z of W and (Z and Y) is greater than 1, then equal X and the list composed of (V element of W) and the sub-list from (1 and Y) to Z of W |
| (=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3369-3379 | If equal X and the sum of Y and length of Y is greater than 1, then equal X and (the first of Y and the sum of the sub-list from 2 to length of Y of Y) |
| (=> (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 2763-2775 | If equal X and VarianceAverageFn of Y with the mean of Z and length of Y is greater than 1, then equal X and (VarianceAverageFn of 1th element of Y with the mean of Z and VarianceAverageFn of the sub-list from 2 to length of Y of Y with the mean of Z) |
|