Relation CARRIES-OUT

Executes a function or performs a procedure or activity. This includes transacts, operates on, handles, and executes.

Arity: 2

Domain: Localized-entity

Mapping: This is an USN counterpart, aimed at grouping two from-actors (performs and effects), and an in-actor (embodies). Not a rigorous relation indeed. Maintained only to deal with Metathesaurus tuples.

Range: Process

Subrelation-Of: Pseudo-actor-of

Axioms:

(=> (Carries-Out ?A ?B)
    (Or (Performs ?A ?B) (Effects ?A ?B) (Embodies ?A ?B)))

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