Relation INVERSE-OF-REPRESENTATION-RELATION

Arity: 2

Domain: Entity

Range: Entity

Axioms:

(= (Inverse Representation-Relation)
   Inverse-Of-Representation-Relation)

(<=> (Inverse-Of-Representation-Relation ?A ?B)
     (And (Entity ?A) (Entity ?B)))

• Defined in theory: Structuring-concepts
• Source code: Structuring-Concepts.lisp