Relation INFLUENCED-BY

Arity: 2

Domain: Temporalized-entity

Range: Process

Axioms:

(= (Inverse Influences) Influenced-By)

(<=> (Influenced-By ?A ?B)
     (And (Temporalized-Entity ?A) (Process ?B)))

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