Relation BASES

Arity: 2
Domain: Entity
Range: Entity
Axioms:
(= (Inverse Representation-Relation) Bases)

(<=> (Bases ?A ?B)
     (And (Exists (?C)
                  (And (Interpretant-Of ?A ?C) (Judgment ?C ?B)))
          (Entity ?A)
          (Entity ?B)))