Relation CONVENTIONAL-GOAL-OF

A conventional goal expresses the metonymic notion of goal of an action or expresses a goal with a neutralized agent's intention. A conventional goal is different from an outcome, but their tuples can coincide. A conventional goal is an expected outcome, while an outcome may be provided without the statement of a goal, for example a machine process may have outcomes, but not goals; a walking around may have outcomes from no goal; a learning process may have goals with no outcomes, and so on.
Arity: 2
Subrelation-Of: Pseudo-actor-of
Axioms:
(<=> (Conventional-Goal-Of ?A ?B)
     (And (Pseudo-Actor-Of ?A ?B)
          (Exists (?C) (And (Goal-Of ?A ?C) (From-Actor-Of ?C ?B)))))