Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ListConcatenateFn
ListConcatenateFn

appearance as argument number 1
-------------------------


(documentation ListConcatenateFn ChineseLanguage "这个 Function 把由两个参数所设定的 List 串联起来。例如:(ListConcatenateFn (ListFn Monday Tuesday) (ListFn Wednesday Thursday)) 会成了 (ListFn Monday Tuesday Wednesday Thursday)。") chinese_format.kif 1970-1972
(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 2965-2968
(domain ListConcatenateFn 1 List) Merge.kif 2961-2961 domain ListConcatenateFn, 1 and List
(domain ListConcatenateFn 2 List) Merge.kif 2962-2962 domain ListConcatenateFn, 2 and List
(instance ListConcatenateFn BinaryFunction) Merge.kif 2959-2959 instance ListConcatenateFn and BinaryFunction
(instance ListConcatenateFn TotalValuedRelation) Merge.kif 2960-2960 instance ListConcatenateFn and TotalValuedRelation
(range ListConcatenateFn List) Merge.kif 2963-2963 range ListConcatenateFn and List

appearance as argument number 2
-------------------------


(format ChineseLanguage ListConcatenateFn "List包含 %1 和 %2") chinese_format.kif 267-267
(format EnglishLanguage ListConcatenateFn "the list composed of %1 and %2") english_format.kif 275-275
(termFormat ChineseLanguage ListConcatenateFn "列表连接") domainEnglishFormat.kif 34582-34582
(termFormat ChineseLanguage ListConcatenateFn "连接表列函数") chinese_format.kif 268-268
(termFormat ChineseTraditionalLanguage ListConcatenateFn "列表連接") domainEnglishFormat.kif 34581-34581
(termFormat EnglishLanguage ListConcatenateFn "list concatenate") domainEnglishFormat.kif 34580-34580

antecedent
-------------------------


(<=>
    (and
        (equal ?LIST3
            (ListConcatenateFn ?LIST1 ?LIST2))
        (not
            (equal ?LIST1 NullList))
        (not
            (equal ?LIST2 NullList)))
    (forall (?NUMBER1 ?NUMBER2)
        (=>
            (and
                (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 2972-2988 equal List and ListConcatenateFn List and List equal List and NullList equal List and NullList PositiveInteger PositiveInteger

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 3078-3090


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