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 3152-3153 | |
(domain SubListFn 1 Integer) | Merge.kif 3148-3148 | The number 1 argument of sub-list function is an instance of integer |
(domain SubListFn 2 Integer) | Merge.kif 3149-3149 | The number 2 argument of sub-list function is an instance of integer |
(domain SubListFn 3 List) | Merge.kif 3150-3150 | The number 3 argument of sub-list function is an instance of list |
(instance SubListFn TernaryFunction) | Merge.kif 3147-3147 | Sub-list function is an instance of ternary function |
(range SubListFn List) | Merge.kif 3151-3151 | The range of sub-list function is an instance of list |
appearance as argument number 2 |
![]() |
(format EnglishLanguage SubListFn "the sub-list from %1 to %2 of %3") | Merge.kif 3155-3155 | |
(termFormat EnglishLanguage SubListFn "sub-list function") | Merge.kif 3154-3154 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |