(subclass TransitiveRelation BinaryRelation) | Merge.kif 2333-2333 | 传递关系 是 二元关系 的 subclass |
(subclass PartialOrderingRelation TransitiveRelation) | Merge.kif 2365-2365 | 偏序关系 是 传递关系 的 subclass |
(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2392-2392 | 等价关系 是 传递关系 的 subclass |