(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2392-2392 | 等价关系 是 传递关系 的 subclass |
(subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | 等价关系 是 对称关系 的 subclass |
(subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2394-2394 | 等价关系 是 自反关系 的 subclass |