Relation LOCAL-CAUSE-OF

This is for the use of cause when applied to

situations, ie as an improper actor.

Arity: 2

Range: Situation

Subrelation-Of: Pseudo-actor-of

Axioms:

(<=> (Local-Cause-Of ?A ?B)
     (And (Pseudo-Actor-Of ?A ?B)
          (Exists (?C) (And (Cause-Of ?A ?C) (Context ?C ?B)))
          (Situation ?B)))

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