SymmetricRelation(relation sym�trique) | ![]() |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?REL SymmetricRelation) (forall (?INST1 ?INST2) (=> (?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)))) |
Merge.kif 2278-2283 |
consequent |
![]() |
(=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS))) |
Merge.kif 3728-3733 |
|
![]() |
![]() |