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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - identicalListItems

appearance as argument number 1

(documentation identicalListItems ChineseLanguage "(identicalListItems ?LIST1 ?LIST2) 的意思是?LIST1 和 ?LIST2 在它们各自的列表,拥有完全相同的项目。虽然 ?LIST1 和 ?LIST2 需要共同拥有完全 相同的项目,但是它们的项目可以按不同的顺序排列。") chinese_format.kif 1984-1986
(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 3323-3326
(documentation identicalListItems JapaneseLanguage "(identicalListItems ?LIST1 ?LIST2) とは、?LIST1 と ?LIST2 がそれぞれのリストにまったく同じ項目を持つことを意味する。?LIST1と ?LIST2 はまったく同じアイテムを共有する必要がるが、これらの項目の順序が異なる場合がある。") japanese_format.kif 617-619
(domain identicalListItems 1 List) Merge.kif 3320-3320 The number 1 argument of identical list items is an instance of list
(domain identicalListItems 2 List) Merge.kif 3321-3321 The number 2 argument of identical list items is an instance of list
(instance identicalListItems BinaryPredicate) Merge.kif 3318-3318 identical list items is an instance of binary predicate
(instance identicalListItems EquivalenceRelation) Merge.kif 3319-3319 identical list items is an instance of equivalence relation

appearance as argument number 2

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


        (contraryAttribute @ROW1)
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))
Merge.kif 470-474

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