Relation Specified-To-Execute

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Instance-Of: Binary-Relation, Relation, Set

Domain: Potential-Actor

Range: Activity-Spec

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

Implication Axioms mentioning Specified-To-Execute:

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

Equivalence Axioms mentioning Specified-To-Execute:

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