| appearance as argument number 1 |
|
| (documentation UniqueList ChineseLanguage "这个 List 里的没有一个项目是出现超过一次的，也就是说 这是一个没有不同数字 ?NUMBER1 和 ?NUMBER2 的 List，使得(ListOrderFn ?LIST ?NUMBER1) 和 (ListOrderFn ?LIST ?NUMBER2) 会交出相同的值。") | chinese_format.kif 1957-1959 | |
| (documentation UniqueList EnglishLanguage "A List in which no item appears more than once,i.e. a List for which there are no distinct numbers ?NUMBER1 and ?NUMBER2 such that (ListOrderFn ?LIST ?NUMBER1) and (ListOrderFn ?LIST ?NUMBER2) return the same value.") | Merge.kif 2906-2909 | |
| (documentation UniqueList JapaneseLanguage "項目が複数回表示されていない List、すなわち (ListOrderFn ?LIST ?NUMBER1) と (ListOrderFn ?LIST ?NUMBER2) が同じ値を返すような、 明確な番号 ?NUMBER1と?NUMBER2がない List 。") | japanese_format.kif 589-591 | |
| (subclass UniqueList List) | Merge.kif 2904-2904 | Unique list is a subclass of list |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UniqueList "唯一串列") | chinese_format.kif 914-914 | |
| (termFormat EnglishLanguage UniqueList "unique list") | english_format.kif 1035-1035 | |
| (termFormat FrenchLanguage UniqueList "liste unique") | french_format.kif 590-590 | |
| (termFormat Hindi UniqueList "asaadhaaraNa sUchI") | terms-hindi.txt 120-120 | |
| (termFormat ItalianLanguage UniqueList "ListaUnica") | terms-it.txt 123-123 | |
| (termFormat JapaneseLanguage UniqueList "ユニークリスト") | japanese_format.kif 2275-2275 | |
| (termFormat PortugueseLanguage UniqueList "Lista Unica") | portuguese_format.kif 542-542 | |
| (termFormat cb UniqueList "lain listahan") | terms-cb.txt 125-125 | |
| (termFormat cz UniqueList "unique list") | terms-cz.txt 157-157 | |
| (termFormat ro UniqueList "listã cu elemente unice") | relations-ro.kif 611-611 | |
| (termFormat tg UniqueList "kakaibang talaan") | terms-tg.txt 124-124 |
| antecedent |
|
|
| (=> (instance ?LIST UniqueList) (forall (?NUMBER1 ?NUMBER2) (=> (equal (ListOrderFn ?LIST ?NUMBER1) (ListOrderFn ?LIST ?NUMBER2)) (equal ?NUMBER1 ?NUMBER2)))) |
Merge.kif 2911-2916 |
|
|
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