Relation REMOTE-CAUSE-OF

The object x is involved in the beginning of a process y which has a certain outcome z which is commonly said to be 'caused' by x.

Arity: 2

Subrelation-Of: Pseudo-actor-of

Axioms:

(<=> (Remote-Cause-Of ?A ?B)
     (And (Pseudo-Actor-Of ?A ?B)
          (Exists (?C) (And (Cause-Of ?A ?C) (Outcome ?C ?B)))))

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