partialOrderingOn - Sigma 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	The number 1 argument of partial ordering on is an instance of binary relation
(domain partialOrderingOn 2 Class)	Merge.kif 3644-3644	The number 2 argument of partial ordering on is an instance of class
(instance partialOrderingOn AsymmetricRelation)	Merge.kif 3642-3642	partial ordering on is an instance of asymmetric relation
(instance partialOrderingOn BinaryPredicate)	Merge.kif 3641-3641	partial ordering on is an instance of binary predicate

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 44582-44582
(termFormat ChineseTraditionalLanguage partialOrderingOn "部分訂購在")	domainEnglishFormat.kif 44581-44581
(termFormat EnglishLanguage partialOrderingOn "partial ordering on")	domainEnglishFormat.kif 44580-44580
(termFormat de partialOrderingOn "teilweiseEinrichtung")	terms-de.txt 62-62

antecedent

(=> (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS)) (totalOrderingOn ?RELATION ?CLASS))	Merge.kif 3674-3678	If a binary relation is partial ordering on a class and the binary relation is trichotomizing on the class, then the binary relation is total ordering on the class
(=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation)))	Merge.kif 3651-3656	If a binary relation is partial ordering on a class, then the binary relation is reflexive on the class and the binary relation is an instance of transitive relation and the binary relation is an instance of antisymmetric relation

consequent

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

Merge.kif 3668-3672

If a binary relation is total ordering on a class,
then the binary relation is partial ordering on the class and the binary relation is trichotomizing on the class

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

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

KB Term:			Term intersection

English Word: