Relation MADE-BY

Arity: 2

Domain: Localized-entity

Range: Object

Subrelation-Of: Pseudo-actor

Axioms:

(<=> (Made-By ?A ?B)
     (And (Exists (?C)
                  (And (Product-Of ?A ?C)
                       (Performs ?B ?C)
                       (Act ?C)
                       (Object ?B)))
          (Pseudo-Actor ?A ?B)
          (Localized-Entity ?A)
          (Object ?B)))

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