(subclass SymmetricRelation BinaryRelation) | Merge.kif 2260-2260 | RelazioneSimmetrica è una sottoclasse di RelazioneBinaria |
(subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | RelazioneDiEquivalenza è una sottoclasse di RelazioneSimmetrica |