(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2392-2392 | 子類 EquivalenceRelation and TransitiveRelation |
(subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | 子類 EquivalenceRelation and SymmetricRelation |
(subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2394-2394 | 子類 EquivalenceRelation and ReflexiveRelation |