Relation EMBODIED-IN

Arity: 2

Domain: Natural-process

Range: Localized-entity

Axioms:

(= (Inverse Embodies) Embodied-In)

(<=> (Embodied-In ?A ?B)
     (And (Natural-Process ?A) (Localized-Entity ?B)))

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