(subclass SymmetricRelation BinaryRelation) | Merge.kif 2260-2260 | Relacao Simetrica e' uma sub-classe de Relacao Binaria |
(subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | Relacao Qquivalente e' uma sub-classe de Relacao Simetrica |