Relation COMMUTATIVE


Slots on this relation:

Arity: 2

Axioms:

(<=> (Commutative ?Op ?Domain)
     (Forall (?X ?Y)
             (=> (Instance-Of ?X ?Domain)
                 (Instance-Of ?Y ?Domain)
                 (= (Value ?Op ?X ?Y) (Value ?Op ?Y ?X)))))