Relation BENEFICIARY

Arity: 2

Domain: Act

Range: Organism

Axioms:

(= (Inverse Beneficiary-Of) Beneficiary)

(<=> (Beneficiary ?A ?B) (And (Act ?A) (Organism ?B)))

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