| appearance as argument number 1 |
|
| (documentation totalOrderingOn ChineseLanguage "一个 BinaryRelation ?REL 在一个 SetOrClass 是一个完全的顺序的，除非对于这个 SetOrClass 里每一个?INST1 和 ?INST2， (?REL ?INST1 ?INST2) 或者是 (?REL ?INST2 ?INST1) 是部分顺序的。") | chinese_format.kif 2048-2050 | |
| (documentation totalOrderingOn EnglishLanguage "A BinaryRelation ?REL is a total ordering on a Class only if it is a partial ordering for which either (?REL ?INST1 ?INST2) or (?REL ?INST2 ?INST1) for every ?INST1 and ?INST2 in the Class.") | Merge.kif 3663-3666 | |
| (documentation totalOrderingOn JapaneseLanguage "BinaryRelation ?REL は、SetOrClass に 対する合計順序付けが、SetOrClass 内のすべての?INST1および?INST2に対する (?REL ?INST1 ?INST2) または (?REL ?INST2 ?INST1) のどちらかの部分順序である場合のみである。") | japanese_format.kif 693-695 | |
| (domain totalOrderingOn 1 BinaryRelation) | Merge.kif 3660-3660 | The number 1 argument of total ordering on is an instance of binary relation |
| (domain totalOrderingOn 2 Class) | Merge.kif 3661-3661 | The number 2 argument of total ordering on is an instance of class |
| (instance totalOrderingOn AsymmetricRelation) | Merge.kif 3659-3659 | total ordering on is an instance of asymmetric relation |
| (instance totalOrderingOn BinaryPredicate) | Merge.kif 3658-3658 | total ordering on is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage totalOrderingOn "%1 %n 是 %2 的 totalOrderingOn") | chinese_format.kif 193-193 | |
| (format EnglishLanguage totalOrderingOn "%1 is %n total ordering on %2") | english_format.kif 194-194 | |
| (format FrenchLanguage totalOrderingOn "%1 est %n totalement dirig� sur %2") | french_format.kif 116-116 | |
| (format ItalianLanguage totalOrderingOn "%1 è %n ordinamento totale su%2") | relations-it.txt 302-302 | |
| (format JapaneseLanguage totalOrderingOn "%1 は %2 の is total ordering では %n") | japanese_format.kif 1945-1945 | |
| (format PortugueseLanguage totalOrderingOn "%1 e' %n totalmente ordenado em %2") | portuguese_format.kif 68-68 | |
| (format cz totalOrderingOn "%1 %p{je} %n{nen�} total ordering on %2") | relations-cz.txt 110-110 | |
| (format de totalOrderingOn "%1 ist eine gesampteinrichtung auf %2 %n{nicht}") | relations-de.txt 247-247 | |
| (format hi totalOrderingOn "%1 %2 para puurNa anukrama %n hai") | relations-hindi.txt 338-338 | |
| (format ro totalOrderingOn "%1 %n{nu} este o relaþie de ordering%t{ordine} total%t{totalã} peste %2") | relations-ro.kif 135-135 | |
| (format sv totalOrderingOn "%1 är %n{inte} total ordning över %2") | relations-sv.txt 121-121 | |
| (format tg totalOrderingOn "%1 %n ay ang utos ng buo sa %2") | relations-tg.txt 494-494 | |
| (termFormat ChineseLanguage totalOrderingOn "含全序关系") | chinese_format.kif 194-194 | |
| (termFormat ChineseLanguage totalOrderingOn "总订货量") | domainEnglishFormat.kif 58642-58642 | |
| (termFormat ChineseTraditionalLanguage totalOrderingOn "總訂貨量") | domainEnglishFormat.kif 58641-58641 | |
| (termFormat EnglishLanguage totalOrderingOn "total ordering on") | domainEnglishFormat.kif 58640-58640 | |
| (termFormat de totalOrderingOn "gesamteinrichtung") | terms-de.txt 78-78 |
| antecedent |
|
|
| (=> (totalOrderingOn ?RELATION ?CLASS) (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS))) |
Merge.kif 3668-3672 |
|
| consequent |
|
|
| (=> (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS)) (totalOrderingOn ?RELATION ?CLASS)) |
Merge.kif 3674-3678 |
|
|
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