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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalOrderingOn

Sigma KEE - totalOrderingOn
totalOrderingOn

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 3662-3665
(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 3659-3659
(domain totalOrderingOn 2 Class) Merge.kif 3660-3660
(instance totalOrderingOn AsymmetricRelation) Merge.kif 3658-3658
(instance totalOrderingOn BinaryPredicate) Merge.kif 3657-3657

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 58598-58598
(termFormat ChineseTraditionalLanguage totalOrderingOn "總訂貨量") domainEnglishFormat.kif 58597-58597
(termFormat EnglishLanguage totalOrderingOn "total ordering on") domainEnglishFormat.kif 58596-58596
(termFormat de totalOrderingOn "gesamteinrichtung") terms-de.txt 78-78

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


(=>
    (totalOrderingOn ?RELATION ?CLASS)
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS)))
Merge.kif 3667-3671

consequent
-------------------------


(=>
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS))
    (totalOrderingOn ?RELATION ?CLASS))
Merge.kif 3673-3677


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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