Relation RESULT-HOST

Arity: 2

Domain: Temporalized-entity

Range: Localized-entity

Subrelation-Of: Pseudo-actor

Axioms:

(<=> (Result-Host ?A ?B)
     (And (Exists (?C) (And (Result-Of ?A ?C) (Embodied-In ?C ?B)))
          (Pseudo-Actor ?A ?B)
          (Temporalized-Entity ?A)
          (Localized-Entity ?B)))

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