|
|
   PartialOrderingRelation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PartialOrderingRelation ChineseLanguage "一个 BinaryRelation 属于部分顺序 关系如果它是一个 ReflexiveRelation、 AntisymmetricRelation 和 TransitiveRelation。") | chinese_format.kif 1854-1855 | |
| (documentation PartialOrderingRelation EnglishLanguage "A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.") | Merge.kif 2316-2318 | |
| (subclass PartialOrderingRelation AntisymmetricRelation) | Merge.kif 2312-2312 | subclass PartialOrderingRelation and AntisymmetricRelation |
| (subclass PartialOrderingRelation ReflexiveRelation) | Merge.kif 2313-2313 | subclass PartialOrderingRelation and ReflexiveRelation |
| (subclass PartialOrderingRelation TotalValuedRelation) | Merge.kif 2314-2314 | subclass PartialOrderingRelation and TotalValuedRelation |
| (subclass PartialOrderingRelation TransitiveRelation) | Merge.kif 2311-2311 | subclass PartialOrderingRelation and TransitiveRelation |
| appearance as argument number 2 |
|
|
|
|
|