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 3573-3576
(domain partialOrderingOn 1 BinaryRelation)	Merge.kif 3570-3570
(domain partialOrderingOn 2 Class)	Merge.kif 3571-3571
(instance partialOrderingOn AsymmetricRelation)	Merge.kif 3569-3569
(instance partialOrderingOn BinaryPredicate)	Merge.kif 3568-3568

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
(termFormat ChineseLanguage partialOrderingOn "含偏序关系")	chinese_format.kif 164-164
(termFormat ChineseLanguage partialOrderingOn "部分订购在")	domainEnglishFormat.kif 44521-44521
(termFormat ChineseTraditionalLanguage partialOrderingOn "部分訂購在")	domainEnglishFormat.kif 44520-44520
(termFormat EnglishLanguage partialOrderingOn "partial ordering on")	domainEnglishFormat.kif 44519-44519

antecedent

(=> (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS)) (totalOrderingOn ?RELATION ?CLASS))	Merge.kif 3601-3605
(=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation)))	Merge.kif 3578-3583

consequent

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

Merge.kif 3595-3599