Class SYMMETRIC-RELATION

Relation R is symmetric if R(x,y) implies R(y,x).
Subclass-Of: Binary-relation
Axioms:
(<=> (Symmetric-Relation ?R)
     (And (Binary-Relation ?R)
          (=> (Holds ?R ?X ?Y) (Holds ?R ?Y ?X))))