ListConcatenateFn - Sigma Knowledge base Browser

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 3077-3080
(documentation ListConcatenateFn JapaneseLanguage "Function は、引数として指定された２つの List の連結を返す例：(ListConcatenateFn (ListFn Monday Tuesday) (ListFn Wednesday Thursday)) の値は (ListFn Monday Tuesday Wednesday Thursday) となる。")	japanese_format.kif 602-604
(domain ListConcatenateFn 1 List)	Merge.kif 3073-3073	The number 1 argument of list concatenate is an instance of list
(domain ListConcatenateFn 2 List)	Merge.kif 3074-3074	The number 2 argument of list concatenate is an instance of list
(instance ListConcatenateFn BinaryFunction)	Merge.kif 3071-3071	List concatenate is an instance of binary function
(instance ListConcatenateFn TotalValuedRelation)	Merge.kif 3072-3072	List concatenate is an instance of total valued relation
(range ListConcatenateFn List)	Merge.kif 3075-3075	The range of list concatenate is an instance of 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 272-272
(format FrenchLanguage ListConcatenateFn "la liste compos�e de %1 et %2")	french_format.kif 152-152
(format ItalianLanguage ListConcatenateFn "la lista composta di %1 e %2")	relations-it.txt 166-166
(format JapaneseLanguage ListConcatenateFn "%1 と %2 で構成される list")	japanese_format.kif 1980-1980
(format PortugueseLanguage ListConcatenateFn "a lista composta de %1 e %2")	portuguese_format.kif 104-104
(format de ListConcatenateFn "die Liste bestanden aus %1 und %2")	relations-de.txt 344-344
(format hi ListConcatenateFn "suuchii me %1 aura %2 sanshrinkhalita hai")	relations-hindi.txt 205-205
(format ro ListConcatenateFn "list%t{lista} formatã din %1 ºi %2")	relations-ro.kif 171-171
(format sv ListConcatenateFn "listan sammansatt av %1 och %2")	relations-sv.txt 158-158
(format tg ListConcatenateFn "ang paglisto ng %1 at %2")	relations-tg.txt 331-331
(termFormat ChineseLanguage ListConcatenateFn "列表连接")	domainEnglishFormat.kif 34701-34701
(termFormat ChineseLanguage ListConcatenateFn "连接表列函数")	chinese_format.kif 268-268
(termFormat ChineseTraditionalLanguage ListConcatenateFn "列表連接")	domainEnglishFormat.kif 34700-34700
(termFormat EnglishLanguage ListConcatenateFn "list concatenate")	domainEnglishFormat.kif 34699-34699
(termFormat de ListConcatenateFn "ListeVerkettenFn")	terms-de.txt 110-110
(termFormat tg ListConcatenateFn "tungkulin ng talaan pagkabitin")	relations-tg.txt 332-332

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 3084-3103

If a list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list and a positive integer is less than or equal to length of the other list and another positive integer is less than or equal to length of the third list and the positive integer is an instance of positive integer and the other positive integer is an instance of positive integer,
then the positive integerth element of the list is equal to the positive integerth element of the other list and (length of the other list and the other positive integer)th element of the list is equal to the other positive integerth element of the third list

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 3191-3203

If a list is equal to the sub-list from a positive integer to an integer of another list and (the integer and the positive integer) is greater than 1,
then the list is equal to the list composed of (the positive integerth element of the other list) and the sub-list from (1 and the positive integer) to the integer of the other list

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

KB Term:			Term intersection

English Word: