(subclass IrreflexiveRelation BinaryRelation) | Merge.kif 2249-2249 | RelazioneNonRiflessiva è una sottoclasse di RelazioneBinaria |
(subclass AsymmetricRelation IrreflexiveRelation) | Merge.kif 2274-2274 | RelazioneAsimmetrica è una sottoclasse di RelazioneNonRiflessiva |