Relation INVERSE-OF-ACTANTIAL-RELATION

Arity: 2
Axioms:
(= (Inverse Actantial-Relation) Inverse-Of-Actantial-Relation)