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

Formal Language: 



KB Term:  Term intersection
English Word: 

  partialOrderingOn

Sigma KEE - partialOrderingOn
partialOrderingOn

appearance as argument number 1
-------------------------


(documentation partialOrderingOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClass 使部分顺序的,除非这个关系是在这个SetOrClassreflexiveOn,而且它既是 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 3566-3569
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3563-3563
(domain partialOrderingOn 2 Class) Merge.kif 3564-3564
(instance partialOrderingOn AsymmetricRelation) Merge.kif 3562-3562
(instance partialOrderingOn BinaryPredicate) Merge.kif 3561-3561

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
-------------------------


(=>
    (partialOrderingOn ?RELATION ?CLASS)
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION AntisymmetricRelation)))
Merge.kif 3571-3576

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


(<=>
    (totalOrderingOn ?RELATION ?CLASS)
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS)))
Merge.kif 3588-3592


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