(subclass TransitiveRelation BinaryRelation) | Merge.kif 2329-2329 | 传递关系 是 二元关系 的 subclass |
(subclass PartialOrderingRelation TransitiveRelation) | Merge.kif 2361-2361 | 偏序关系 是 传递关系 的 subclass |
(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2388-2388 | 等价关系 是 传递关系 的 subclass |
![]() |