TreeView Knowledge Base Browser

appearance as argument number 1

(documentation partialOrderingOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClass 使部分顺序的，除非这个关系是在这个SetOrClass 是 reflexiveOn，而且它既是 AntisymmetricRelation 又是 TransitiveRelation。")	chinese_format.kif 2045-2047
(documentation partialOrderingOn EnglishLanguage "A BinaryRelation is a partial ordering on a Class only if the relation is reflexiveOn the Class, and it is both an AntisymmetricRelation, and a TransitiveRelation.")	Merge.kif 3646-3649
(documentation partialOrderingOn JapaneseLanguage "BinaryRelation は、SetOrClass 上の部分的な順序付けで、 AntisymmetricRelation と TransitiveRelation の両方である場合にのみ、関係が SetOrClass で reflexiveOn である。")	japanese_format.kif 690-692
(domain partialOrderingOn 1 BinaryRelation)	Merge.kif 3643-3643
(domain partialOrderingOn 2 Class)	Merge.kif 3644-3644
(instance partialOrderingOn AsymmetricRelation)	Merge.kif 3642-3642
(instance partialOrderingOn BinaryPredicate)	Merge.kif 3641-3641

appearance as argument number 2

(format ChineseLanguage partialOrderingOn "%1 在 %2 %n 是 partialOrderingOn")	chinese_format.kif 163-163
(format EnglishLanguage partialOrderingOn "%1 is %n partial ordering on %2")	english_format.kif 164-164
(format FrenchLanguage partialOrderingOn "%1 est %n partiellement ordonn� sur %2")	french_format.kif 101-101
(format ItalianLanguage partialOrderingOn "%1 è %n ordinamento parziale su %2")	relations-it.txt 212-212
(format JapaneseLanguage partialOrderingOn "%1 は %2 の partial 順序では %n")	japanese_format.kif 1930-1930
(format PortugueseLanguage partialOrderingOn "%1 e' %n parcialmente ordenado sobre %2")	portuguese_format.kif 53-53
(format cz partialOrderingOn "%1 %p{je} %n{nen�} partial ordering on %2")	relations-cz.txt 109-109
(format de partialOrderingOn "%1 ist eine teilweise Einrichtung auf %2 %n{nicht}")	relations-de.txt 200-200
(format hi partialOrderingOn "%1 %2 para aanshika anukrama %n hai")	relations-hindi.txt 250-250
(format ro partialOrderingOn "%1 %n{nu} este o relaþie de ordine partial%t{parþialã} peste %2")	relations-ro.kif 120-120
(format sv partialOrderingOn "%1 är %n{inte} en partiell ordning över %2")	relations-sv.txt 102-102
(format tg partialOrderingOn "%1 %n ay ang meyo ayos ng %2")	relations-tg.txt 404-404
(termFormat ChineseLanguage partialOrderingOn "含偏序关系")	chinese_format.kif 164-164
(termFormat ChineseLanguage partialOrderingOn "部分订购在")	domainEnglishFormat.kif 44546-44546
(termFormat ChineseTraditionalLanguage partialOrderingOn "部分訂購在")	domainEnglishFormat.kif 44545-44545
(termFormat EnglishLanguage partialOrderingOn "partial ordering on")	domainEnglishFormat.kif 44544-44544
(termFormat de partialOrderingOn "teilweiseEinrichtung")	terms-de.txt 62-62

antecedent

(=> (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS)) (totalOrderingOn ?RELATION ?CLASS))	Merge.kif 3674-3678
(=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation)))	Merge.kif 3651-3656

consequent

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

Merge.kif 3668-3672

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

KB Term:			Term intersection

English Word: