Relation EXPERIENCED-BY

Arity: 2

Domain: Process

Range: Organism

Axioms:

(= (Inverse Experiences) Experienced-By)

(<=> (Experienced-By ?A ?B) (And (Process ?A) (Organism ?B)))

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