Relation GOAL-OF

Arity: 2
Domain: Entity, Temporalized-entity
Range: *agent
Subrelation-Of: Inverse-of-representation-relation
Axioms:
(<=> (Goal-Of ?A ?B)
     (And (Exists (?C)
                  (And (Interpretant ?A ?C)
                       (Believes ?B ?C)
                       (Information ?C)
                       (*Agent ?B)))
          (Entity ?A)
          (Inverse-Of-Representation-Relation ?A ?B)
          (Temporalized-Entity ?A)
          (*Agent ?B)))