Relation INDICATED-BY

Arity: 2

Axioms:

(= (Inverse Indicates) Indicated-By)

• Defined in theory: Representation
• Source code: Representation.lisp