(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2392-2392 | RelazioneDiEquivalenza è una sottoclasse di RelazioneTransitiva |
(subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | RelazioneDiEquivalenza è una sottoclasse di RelazioneSimmetrica |
(subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2394-2394 | RelazioneDiEquivalenza è una sottoclasse di RelazioneRiflessiva |
![]() |