Relation Specified-To-Execute

• Defined in ontology: Enterprise-v0.1

Notes for Specified-To-Execute:

• The Actor is referred to as an Specified-Doer.
• More than one Actor may execute a given Activity-Spec.
• An Activity-Spec need not have an explicit Specified-Doer
• An Activity-Spec has been Executed when all its Activities have been performed as specified; if the Activity-Spec is a Plan, then execution should result in the Achievement of the Plan's Purpose.

Slots on relation Specified-To-Execute:

Arity: 2

Documentation:

A relationship between an Actor and an Activity-Spec whereby the Actor is specified to perform all or part of the Activities as specified in the Activity-Spec

Domain: Potential-Actor

Instance-Of: Binary-Relation, Relation, Set

Range: Activity-Spec

Other Related Equivalence Axioms for Specified-To-Execute:

(<=> (Specified-Doer ?X)
     (And (Actor ?X)
          (Exists (?Activity-Spec)
                  (Specified-To-Execute ?X ?Activity-Spec))))