Relation IS-PRODUCT-OF

Arity: 2

Domain: Localized-entity

Range: Process

Axioms:

(= (Inverse The-Product) Is-Product-Of)

(<=> (Is-Product-Of ?A ?B) (And (Localized-Entity ?A) (Process ?B)))

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