(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2392-2392 | Relacao Qquivalente e' uma sub-classe de Relacao Transitiva |
(subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | Relacao Qquivalente e' uma sub-classe de Relacao Simetrica |
(subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2394-2394 | Relacao Qquivalente e' uma sub-classe de Relacao Reflexiva |