(subclass TransitiveRelation BinaryRelation) | Merge.kif 2333-2333 | Relacao Transitiva e' uma sub-classe de Relacao Binaria |
(subclass PartialOrderingRelation TransitiveRelation) | Merge.kif 2365-2365 | Relacao parcialmente Ordenada e' uma sub-classe de Relacao Transitiva |
(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2392-2392 | Relacao Qquivalente e' uma sub-classe de Relacao Transitiva |