(subclass PartialOrderingRelation TransitiveRelation) | Merge.kif 2365-2365 | 半順序関係 は 推移関係 の subclass では %n |
(subclass PartialOrderingRelation AntisymmetricRelation) | Merge.kif 2366-2366 | 半順序関係 は 反対称関係 の subclass では %n |
(subclass PartialOrderingRelation ReflexiveRelation) | Merge.kif 2367-2367 | 半順序関係 は 反射関係 の subclass では %n |
(subclass PartialOrderingRelation TotalValuedRelation) | Merge.kif 2368-2368 | 半順序関係 は 合計値関係 の subclass では %n |
(subclass TotalOrderingRelation PartialOrderingRelation) | Merge.kif 2374-2374 | 全順序関係 は 半順序関係 の subclass では %n |
(instance subclass PartialOrderingRelation) | Merge.kif 130-130 | subclass は 半順序関係 の instance では %n |