Relation RESULT

Arity: 2

Domain: Process

Range: Temporalized-entity

Axioms:

(= (Inverse Result-Of) Result)

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

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