| 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 2833-2836 | |
| (subclass UniqueList List) | Merge.kif 2831-2831 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UniqueList "唯一串列") | chinese_format.kif 914-914 | |
| (termFormat EnglishLanguage UniqueList "unique list") | english_format.kif 1035-1035 |
| antecedent |
|
|
| (=> (instance ?LIST UniqueList) (forall (?NUMBER1 ?NUMBER2) (=> (equal (ListOrderFn ?LIST ?NUMBER1) (ListOrderFn ?LIST ?NUMBER2)) (equal ?NUMBER1 ?NUMBER2)))) |
Merge.kif 2838-2843 |
|
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