(subclass IrreflexiveRelation BinaryRelation) | Merge.kif 2249-2249 | Relation irr�flexive est une sous-classe de relation binaire |
(subclass AsymmetricRelation IrreflexiveRelation) | Merge.kif 2274-2274 | Relation asym�trique est une sous-classe de relation irr�flexive |