Relation AFFECTS

This is for from-actors which cause bearers to be changed. For the simple case of a process affecting something, there already is the 'bearer' in-actor.

Arity: 2

Subrelation-Of: Pseudo-actor-of

Axioms:

(<=> (Affects ?A ?B)
     (And (Pseudo-Actor-Of ?A ?B)
          (Exists (?C) (And (From-Actor-Of ?A ?C) (Bearer ?C ?B)))))

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