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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - identicalListItems
identicalListItems

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


s__documentation(s__identicalListItems__m,s__ChineseLanguage,'"(identicalListItems ?LIST1 ?LIST2) 的意思是?LIST1 和 ?LIST2 在它们各自的列表,拥有完全相同的项目。虽然 ?LIST1 和 ?LIST2 需要共同拥有完全 相同的项目,但是它们的项目可以按不同的顺序排列。"')

chinese_format.kif 1984-1986
s__documentation(s__identicalListItems__m,s__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 3247-3250
s__domain(s__identicalListItems__m,n__1,s__List)

Merge.kif 3244-3244 The number 1 argument of identical list items is an instance of list
s__domain(s__identicalListItems__m,n__2,s__List)

Merge.kif 3245-3245 The number 2 argument of identical list items is an instance of list
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__identicalListItems__m,s__BinaryPredicate)

Merge.kif 3242-3242 identical list items is an instance of binary predicate
s__instance(s__EquivalenceRelation,s__Class)

s__instance(s__identicalListItems__m,s__EquivalenceRelation)

Merge.kif 3243-3243 identical list items is an instance of equivalence relation

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


s__format(s__ChineseLanguage,s__identicalListItems__m,'"%2 %n 是 %1 的 identical 清单项目"')

domainEnglishFormat.kif 1221-1221
s__format(s__ChineseTraditionalLanguage,s__identicalListItems__m,'"%2 %n 是 %1 的 identical 清單項目"')

domainEnglishFormat.kif 1220-1220
s__format(s__EnglishLanguage,s__identicalListItems__m,'"%2 is %n an identical list items of %1"')

domainEnglishFormat.kif 1219-1219
s__termFormat(s__ChineseLanguage,s__identicalListItems__m,'"相同的清单项目"')

domainEnglishFormat.kif 29178-29178
s__termFormat(s__ChineseTraditionalLanguage,s__identicalListItems__m,'"相同的清單項目"')

domainEnglishFormat.kif 29177-29177
s__termFormat(s__EnglishLanguage,s__identicalListItems__m,'"identical list items"')

domainEnglishFormat.kif 29176-29176

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


( ! [V__ROW22,V__ROW12,V__ROW23,V__ROW13] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute))
       =>
       (((s__contraryAttribute__2(V__ROW12,V__ROW13)
           &
           s__identicalListItems(s__ListFn__2Fn(V__ROW12,V__ROW13)
        ,s__ListFn__2Fn(V__ROW22,V__ROW23)))
   =>
   (s__contraryAttribute__2(V__ROW22,V__ROW23)))))
)
)

( ! [V__ROW22,V__ROW12,V__ROW13] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW13,s__Attribute))
       =>
       (((s__contraryAttribute__2(V__ROW12,V__ROW13)
           &
           s__identicalListItems(s__ListFn__2Fn(V__ROW12,V__ROW13)
        ,s__ListFn__1Fn(V__ROW22)))
   =>
   (s__contraryAttribute__1(V__ROW22)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW25,V__ROW15,V__ROW12,V__ROW23,V__ROW13,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW25,s__Attribute) &
         s__instance(V__ROW15,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__4(V__ROW12,V__ROW13,V__ROW14,V__ROW15)
           &
           s__identicalListItems(s__ListFn__4Fn(V__ROW12,V__ROW13,V__ROW14,V__ROW15)
        ,s__ListFn__4Fn(V__ROW22,V__ROW23,V__ROW24,V__ROW25)))
   =>
   (s__contraryAttribute__4(V__ROW22,V__ROW23,V__ROW24,V__ROW25)))))
)
)

( ! [V__ROW22,V__ROW12,V__ROW23] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute))
       =>
       (((s__contraryAttribute__1(V__ROW12)
           &
           s__identicalListItems(s__ListFn__1Fn(V__ROW12)
        ,s__ListFn__2Fn(V__ROW22,V__ROW23)))
   =>
   (s__contraryAttribute__2(V__ROW22,V__ROW23)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW15,V__ROW12,V__ROW13] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW15,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW13,s__Attribute))
       =>
       (((s__contraryAttribute__4(V__ROW12,V__ROW13,V__ROW14,V__ROW15)
           &
           s__identicalListItems(s__ListFn__4Fn(V__ROW12,V__ROW13,V__ROW14,V__ROW15)
        ,s__ListFn__1Fn(V__ROW22)))
   =>
   (s__contraryAttribute__1(V__ROW22)))))
)
)

( ! [V__ROW22,V__ROW12,V__ROW23,V__ROW13,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__2(V__ROW12,V__ROW13)
           &
           s__identicalListItems(s__ListFn__2Fn(V__ROW12,V__ROW13)
        ,s__ListFn__3Fn(V__ROW22,V__ROW23,V__ROW24)))
   =>
   (s__contraryAttribute__3(V__ROW22,V__ROW23,V__ROW24)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW15,V__ROW12,V__ROW23,V__ROW13,V__ROW24,V__ROW16] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW15,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute) &
         s__instance(V__ROW16,s__Attribute))
       =>
       (((s__contraryAttribute__5(V__ROW12,V__ROW13,V__ROW14,V__ROW15,V__ROW16)
           &
           s__identicalListItems(s__ListFn__5Fn(V__ROW12,V__ROW13,V__ROW14,V__ROW15,V__ROW16)
        ,s__ListFn__3Fn(V__ROW22,V__ROW23,V__ROW24)))
   =>
   (s__contraryAttribute__3(V__ROW22,V__ROW23,V__ROW24)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW25,V__ROW15,V__ROW26,V__ROW12,V__ROW23,V__ROW13,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW25,s__Attribute) &
         s__instance(V__ROW15,s__Attribute) &
         s__instance(V__ROW26,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__4(V__ROW12,V__ROW13,V__ROW14,V__ROW15)
           &
           s__identicalListItems(s__ListFn__4Fn(V__ROW12,V__ROW13,V__ROW14,V__ROW15)
        ,s__ListFn__5Fn(V__ROW22,V__ROW23,V__ROW24,V__ROW25,V__ROW26)))
   =>
   (s__contraryAttribute__5(V__ROW22,V__ROW23,V__ROW24,V__ROW25,V__ROW26)))))
)
)

( ! [V__ROW22,V__ROW25,V__ROW12,V__ROW23,V__ROW13,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW25,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__2(V__ROW12,V__ROW13)
           &
           s__identicalListItems(s__ListFn__2Fn(V__ROW12,V__ROW13)
        ,s__ListFn__4Fn(V__ROW22,V__ROW23,V__ROW24,V__ROW25)))
   =>
   (s__contraryAttribute__4(V__ROW22,V__ROW23,V__ROW24,V__ROW25)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW15,V__ROW12,V__ROW23,V__ROW13,V__ROW16] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW15,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW16,s__Attribute))
       =>
       (((s__contraryAttribute__5(V__ROW12,V__ROW13,V__ROW14,V__ROW15,V__ROW16)
           &
           s__identicalListItems(s__ListFn__5Fn(V__ROW12,V__ROW13,V__ROW14,V__ROW15,V__ROW16)
        ,s__ListFn__2Fn(V__ROW22,V__ROW23)))
   =>
   (s__contraryAttribute__2(V__ROW22,V__ROW23)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW25,V__ROW15,V__ROW12,V__ROW23,V__ROW13,V__ROW24,V__ROW16] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW25,s__Attribute) &
         s__instance(V__ROW15,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute) &
         s__instance(V__ROW16,s__Attribute))
       =>
       (((s__contraryAttribute__5(V__ROW12,V__ROW13,V__ROW14,V__ROW15,V__ROW16)
           &
           s__identicalListItems(s__ListFn__5Fn(V__ROW12,V__ROW13,V__ROW14,V__ROW15,V__ROW16)
        ,s__ListFn__4Fn(V__ROW22,V__ROW23,V__ROW24,V__ROW25)))
   =>
   (s__contraryAttribute__4(V__ROW22,V__ROW23,V__ROW24,V__ROW25)))))
)
)

( ! [V__ROW22,V__ROW12] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW12,s__Attribute))
       =>
       (((s__contraryAttribute__1(V__ROW12)
           &
           s__identicalListItems(s__ListFn__1Fn(V__ROW12)
        ,s__ListFn__1Fn(V__ROW22)))
   =>
   (s__contraryAttribute__1(V__ROW22)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW25,V__ROW12,V__ROW23,V__ROW13,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW25,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__3(V__ROW12,V__ROW13,V__ROW14)
           &
           s__identicalListItems(s__ListFn__3Fn(V__ROW12,V__ROW13,V__ROW14)
        ,s__ListFn__4Fn(V__ROW22,V__ROW23,V__ROW24,V__ROW25)))
   =>
   (s__contraryAttribute__4(V__ROW22,V__ROW23,V__ROW24,V__ROW25)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW15,V__ROW12,V__ROW23,V__ROW13,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW15,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__4(V__ROW12,V__ROW13,V__ROW14,V__ROW15)
           &
           s__identicalListItems(s__ListFn__4Fn(V__ROW12,V__ROW13,V__ROW14,V__ROW15)
        ,s__ListFn__3Fn(V__ROW22,V__ROW23,V__ROW24)))
   =>
   (s__contraryAttribute__3(V__ROW22,V__ROW23,V__ROW24)))))
)
)

( ! [V__ROW22,V__ROW25,V__ROW26,V__ROW12,V__ROW23,V__ROW13,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW25,s__Attribute) &
         s__instance(V__ROW26,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__2(V__ROW12,V__ROW13)
           &
           s__identicalListItems(s__ListFn__2Fn(V__ROW12,V__ROW13)
        ,s__ListFn__5Fn(V__ROW22,V__ROW23,V__ROW24,V__ROW25,V__ROW26)))
   =>
   (s__contraryAttribute__5(V__ROW22,V__ROW23,V__ROW24,V__ROW25,V__ROW26)))))
)
)

( ! [V__ROW22,V__ROW25,V__ROW26,V__ROW12,V__ROW23,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW25,s__Attribute) &
         s__instance(V__ROW26,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__1(V__ROW12)
           &
           s__identicalListItems(s__ListFn__1Fn(V__ROW12)
        ,s__ListFn__5Fn(V__ROW22,V__ROW23,V__ROW24,V__ROW25,V__ROW26)))
   =>
   (s__contraryAttribute__5(V__ROW22,V__ROW23,V__ROW24,V__ROW25,V__ROW26)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW15,V__ROW12,V__ROW23,V__ROW13] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW15,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute))
       =>
       (((s__contraryAttribute__4(V__ROW12,V__ROW13,V__ROW14,V__ROW15)
           &
           s__identicalListItems(s__ListFn__4Fn(V__ROW12,V__ROW13,V__ROW14,V__ROW15)
        ,s__ListFn__2Fn(V__ROW22,V__ROW23)))
   =>
   (s__contraryAttribute__2(V__ROW22,V__ROW23)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW15,V__ROW12,V__ROW13,V__ROW16] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW15,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW16,s__Attribute))
       =>
       (((s__contraryAttribute__5(V__ROW12,V__ROW13,V__ROW14,V__ROW15,V__ROW16)
           &
           s__identicalListItems(s__ListFn__5Fn(V__ROW12,V__ROW13,V__ROW14,V__ROW15,V__ROW16)
        ,s__ListFn__1Fn(V__ROW22)))
   =>
   (s__contraryAttribute__1(V__ROW22)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW12,V__ROW23,V__ROW13,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__3(V__ROW12,V__ROW13,V__ROW14)
           &
           s__identicalListItems(s__ListFn__3Fn(V__ROW12,V__ROW13,V__ROW14)
        ,s__ListFn__3Fn(V__ROW22,V__ROW23,V__ROW24)))
   =>
   (s__contraryAttribute__3(V__ROW22,V__ROW23,V__ROW24)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW25,V__ROW26,V__ROW12,V__ROW23,V__ROW13,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW25,s__Attribute) &
         s__instance(V__ROW26,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__3(V__ROW12,V__ROW13,V__ROW14)
           &
           s__identicalListItems(s__ListFn__3Fn(V__ROW12,V__ROW13,V__ROW14)
        ,s__ListFn__5Fn(V__ROW22,V__ROW23,V__ROW24,V__ROW25,V__ROW26)))
   =>
   (s__contraryAttribute__5(V__ROW22,V__ROW23,V__ROW24,V__ROW25,V__ROW26)))))
)
)

( ! [V__ROW22,V__ROW12,V__ROW23,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__1(V__ROW12)
           &
           s__identicalListItems(s__ListFn__1Fn(V__ROW12)
        ,s__ListFn__3Fn(V__ROW22,V__ROW23,V__ROW24)))
   =>
   (s__contraryAttribute__3(V__ROW22,V__ROW23,V__ROW24)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW12,V__ROW23,V__ROW13] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute))
       =>
       (((s__contraryAttribute__3(V__ROW12,V__ROW13,V__ROW14)
           &
           s__identicalListItems(s__ListFn__3Fn(V__ROW12,V__ROW13,V__ROW14)
        ,s__ListFn__2Fn(V__ROW22,V__ROW23)))
   =>
   (s__contraryAttribute__2(V__ROW22,V__ROW23)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW25,V__ROW15,V__ROW26,V__ROW12,V__ROW23,V__ROW13,V__ROW24,V__ROW16] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW25,s__Attribute) &
         s__instance(V__ROW15,s__Attribute) &
         s__instance(V__ROW26,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW13,s__Attribute) &
         s__instance(V__ROW24,s__Attribute) &
         s__instance(V__ROW16,s__Attribute))
       =>
       (((s__contraryAttribute__5(V__ROW12,V__ROW13,V__ROW14,V__ROW15,V__ROW16)
           &
           s__identicalListItems(s__ListFn__5Fn(V__ROW12,V__ROW13,V__ROW14,V__ROW15,V__ROW16)
        ,s__ListFn__5Fn(V__ROW22,V__ROW23,V__ROW24,V__ROW25,V__ROW26)))
   =>
   (s__contraryAttribute__5(V__ROW22,V__ROW23,V__ROW24,V__ROW25,V__ROW26)))))
)
)

( ! [V__ROW22,V__ROW14,V__ROW12,V__ROW13] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW14,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW13,s__Attribute))
       =>
       (((s__contraryAttribute__3(V__ROW12,V__ROW13,V__ROW14)
           &
           s__identicalListItems(s__ListFn__3Fn(V__ROW12,V__ROW13,V__ROW14)
        ,s__ListFn__1Fn(V__ROW22)))
   =>
   (s__contraryAttribute__1(V__ROW22)))))
)
)

( ! [V__ROW22,V__ROW25,V__ROW12,V__ROW23,V__ROW24] :
   (((s__instance(V__ROW22,s__Attribute) &
         s__instance(V__ROW25,s__Attribute) &
         s__instance(V__ROW12,s__Attribute) &
         s__instance(V__ROW23,s__Attribute) &
         s__instance(V__ROW24,s__Attribute))
       =>
       (((s__contraryAttribute__1(V__ROW12)
           &
           s__identicalListItems(s__ListFn__1Fn(V__ROW12)
        ,s__ListFn__4Fn(V__ROW22,V__ROW23,V__ROW24,V__ROW25)))
   =>
   (s__contraryAttribute__4(V__ROW22,V__ROW23,V__ROW24,V__ROW25)))))
)
)

Merge.kif 469-473


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