(subclass IrreflexiveRelation BinaryRelation) | Merge.kif 2249-2249 | Relacao Irreflexiva e' uma sub-classe de Relacao Binaria |
(subclass AsymmetricRelation IrreflexiveRelation) | Merge.kif 2274-2274 | Relacao Assimetrica e' uma sub-classe de Relacao Irreflexiva |