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 2381-2383 | |
(documentation PartialOrderingRelation JapaneseLanguage "BinaryRelation は、 ReflexiveRelation、AntisymmetricRelation、および TransitiveRelation の場合の部分的な 順序付けである。") | japanese_format.kif 475-477 | |
(subclass PartialOrderingRelation AntisymmetricRelation) | Merge.kif 2377-2377 | |
(subclass PartialOrderingRelation ReflexiveRelation) | Merge.kif 2378-2378 | |
(subclass PartialOrderingRelation TotalValuedRelation) | Merge.kif 2379-2379 | |
(subclass PartialOrderingRelation TransitiveRelation) | Merge.kif 2376-2376 |
appearance as argument number 2 |
![]() |
![]() |
![]() |