TreeView Knowledge Base Browser

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	Le nombre 1 argument de totalOrderingOn est une instance de relation binaire
(domain totalOrderingOn 2 Class)	Merge.kif 3661-3661	Le nombre 2 argument de totalOrderingOn est une instance de classe
(instance totalOrderingOn AsymmetricRelation)	Merge.kif 3659-3659	totalOrderingOn est une instance de relation asym�trique
(instance totalOrderingOn BinaryPredicate)	Merge.kif 3658-3658	totalOrderingOn est une instance de pr�dicat binaire

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

antecedent

(=>
    (totalOrderingOn ?RELATION ?CLASS)
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS)))

Merge.kif 3668-3672

Relation binaire est totalement dirig� sur classe
relation binaire est partiellement ordonn� sur classe relation binaire est trichotomiz� en classe

consequent

(=>
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS))
    (totalOrderingOn ?RELATION ?CLASS))

Merge.kif 3674-3678

Relation binaire est partiellement ordonn� sur classe relation binaire est trichotomiz� en classe
relation binaire est totalement dirig� sur classe

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

KB Term:			Term intersection

English Word: