Relation RESOURCE

Arity: 2

Domain: Activity

Range: Substance

Axioms:

(= (Inverse Resource-Of) Resource)

(<=> (Resource ?A ?B) (And (Activity ?A) (Substance ?B)))

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