| 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 3622-3625 | |
| (domain partialOrderingOn 1 BinaryRelation) | Merge.kif 3619-3619 | 含偏序关系 的 1 数量 是 二元关系 的 instance |
| (domain partialOrderingOn 2 Class) | Merge.kif 3620-3620 | 含偏序关系 的 2 数量 是 类 的 instance |
| (instance partialOrderingOn AsymmetricRelation) | Merge.kif 3618-3618 | 含偏序关系 是 非对称关系 的 instance |
| (instance partialOrderingOn BinaryPredicate) | Merge.kif 3617-3617 | 含偏序关系 是 二元谓语 的 instance |
| 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 44524-44524 | |
| (termFormat ChineseTraditionalLanguage partialOrderingOn "部分訂購在") | domainEnglishFormat.kif 44523-44523 | |
| (termFormat EnglishLanguage partialOrderingOn "partial ordering on") | domainEnglishFormat.kif 44522-44522 |
| antecedent |
|
|
| (=> (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS)) (totalOrderingOn ?RELATION ?CLASS)) |
Merge.kif 3650-3654 |
|
| (=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation))) |
Merge.kif 3627-3632 |
| consequent |
|
|
| (=> (totalOrderingOn ?RELATION ?CLASS) (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS))) |
Merge.kif 3644-3648 |
|
|
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