TreeView Knowledge Base Browser - identicalListItems

appearance as argument number 1

(instance identicalListItems BinaryPredicate)	Merge.kif 3431-3431	identical list items is an instance of binary predicate
(instance identicalListItems EquivalenceRelation)	Merge.kif 3432-3432	identical list items is an instance of equivalence relation
(domain identicalListItems 1 List)	Merge.kif 3433-3433	The number 1 argument of identical list items is an instance of list
(domain identicalListItems 2 List)	Merge.kif 3434-3434	The number 2 argument of identical list items is an instance of list
(documentation identicalListItems EnglishLanguage "(identicalListItems ?LIST1 ?LIST2) means that ?LIST1 and ?LIST2 have exactly the same items in their respective lists. Although ?LIST1 and ?LIST2 are required to share exactly the same items, they may order these items differently.")	Merge.kif 3436-3439	The number 2 argument of identical list items is an instance of list

appearance as argument number 2

(format EnglishLanguage identicalListItems "%2 is %n an identical list items of %1")	domainEnglishFormat.kif 1219-1219
(format ChineseTraditionalLanguage identicalListItems "%2 %n 是 %1 的 identical 清單項目")	domainEnglishFormat.kif 1220-1220
(format ChineseLanguage identicalListItems "%2 %n 是 %1 的 identical 清单项目")	domainEnglishFormat.kif 1221-1221
(termFormat EnglishLanguage identicalListItems "identical list items")	domainEnglishFormat.kif 29189-29189
(termFormat ChineseTraditionalLanguage identicalListItems "相同的清單項目")	domainEnglishFormat.kif 29190-29190
(termFormat ChineseLanguage identicalListItems "相同的清单项目")	domainEnglishFormat.kif 29191-29191

antecedent

(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))

If @ROW1 is the opposite of and (@ROW2) is an identical list items of (@ROW1), then @ROW2 is the opposite of