Relation FROM-ACTOR

Arity: 2

Domain: Process

Range: Entity

Axioms:

(= (Inverse From-Actor-Of) From-Actor)

(<=> (From-Actor ?A ?B) (And (Process ?A) (Entity ?B)))

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