Relation ANALOGICALLY-REPRESENTED-BY

Arity: 2
Axioms:
(= (Inverse Analogically-Represents) Analogically-Represented-By)