Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ListConcatenateFn |
| appearance as argument number 1 |
|
| (instance ListConcatenateFn BinaryFunction) | Merge.kif 3181-3181 | List concatenate is an instance of binary function |
| (instance ListConcatenateFn TotalValuedRelation) | Merge.kif 3182-3182 | List concatenate is an instance of total valued relation |
| (domain ListConcatenateFn 1 List) | Merge.kif 3183-3183 | The number 1 argument of list concatenate is an instance of list |
| (domain ListConcatenateFn 2 List) | Merge.kif 3184-3184 | The number 2 argument of list concatenate is an instance of list |
| (range ListConcatenateFn List) | Merge.kif 3185-3185 | The range of list concatenate is an instance of list |
| (documentation ListConcatenateFn EnglishLanguage "A Function that returns the concatenation of the two Lists that are given as arguments. For example, the value of (ListConcatenateFn (ListFn Monday Tuesday) (ListFn Wednesday Thursday)) would be (ListFn Monday Tuesday Wednesday Thursday).") | Merge.kif 3187-3190 | The range of list concatenate is an instance of list |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ListConcatenateFn "list concatenate") | domainEnglishFormat.kif 34669-34669 | |
| (termFormat ChineseTraditionalLanguage ListConcatenateFn "列表連接") | domainEnglishFormat.kif 34670-34670 | |
| (termFormat ChineseLanguage ListConcatenateFn "列表连接") | domainEnglishFormat.kif 34671-34671 | |
| (format EnglishLanguage ListConcatenateFn "the list composed of %1 and %2") | english_format.kif 272-272 |
| antecedent |
|
|
| (=> (and (equal ?LIST3 (ListConcatenateFn ?LIST1 ?LIST2)) (not (equal ?LIST1 NullList)) (not (equal ?LIST2 NullList)) (lessThanOrEqualTo ?NUMBER1 (ListLengthFn ?LIST1)) (lessThanOrEqualTo ?NUMBER2 (ListLengthFn ?LIST2)) (instance ?NUMBER1 PositiveInteger) (instance ?NUMBER2 PositiveInteger)) (and (equal (ListOrderFn ?LIST3 ?NUMBER1) (ListOrderFn ?LIST1 ?NUMBER1)) (equal (ListOrderFn ?LIST3 (AdditionFn (ListLengthFn ?LIST1) ?NUMBER2)) (ListOrderFn ?LIST2 ?NUMBER2)))) |
Merge.kif 3194-3213 | If All of the following hold: (1) equal X, the list composed of Y, and Z (2) equal Y and null list (3) equal Z and null list (4) W is less than or equal to length of Y (5) V is less than or equal to length of Z (6) W is an instance of positive integer (7) V is an instance of positive integer, then equal U element of X and U element of Y and equal (length of Y and V)th element of X and T element of Z |
| 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 |
|