| 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 3163-3164 | |
| (domain SubListFn 1 Integer) | Merge.kif 3159-3159 | SubListFn 的 1 数量 是 整数 的 instance |
| (domain SubListFn 2 Integer) | Merge.kif 3160-3160 | SubListFn 的 2 数量 是 整数 的 instance |
| (domain SubListFn 3 List) | Merge.kif 3161-3161 | SubListFn 的 3 数量 是 串列 的 instance |
| (instance SubListFn TernaryFunction) | Merge.kif 3158-3158 | SubListFn 是 三元函数 的 instance |
| (range SubListFn List) | Merge.kif 3162-3162 | SubListFn 的 range 是 串列 的实例 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage SubListFn "the sub-list from %1 to %2 of %3") | Merge.kif 3166-3166 | |
| (termFormat EnglishLanguage SubListFn "sub-list function") | Merge.kif 3165-3165 |
| antecedent |
|
|
| (=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 0)) (equal ?R NullList)) |
Merge.kif 3168-3175 | |
| (=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 1)) (equal ?R (ListFn (ListOrderFn ?L ?S)))) |
Merge.kif 3177-3186 | |
| (=> (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 3188-3200 |
| consequent |
|
|
| (=> (and (equal ?A (ListSumFn ?L)) (greaterThan (ListLengthFn ?L) 1)) (equal ?A (AdditionFn (FirstFn ?L) (ListSumFn (SubListFn 2 (ListLengthFn ?L) ?L))))) |
Merge.kif 3256-3266 | |
| (=> (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 3188-3200 | |
| (=> (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 1843-1855 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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