(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2392-2392 | EquivalenceRelation ist eine teilkategorie von TransitiveRelation |
(subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | EquivalenceRelation ist eine teilkategorie von SymmetricRelation |
(subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2394-2394 | EquivalenceRelation ist eine teilkategorie von ReflexiveRelation |
![]() |