Relation Execution-Of-Activity-Spec

• 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: Activity-Spec

Range: Activity

Arity: 2

Documentation:

A Relationship between an Activity-Spec and an Activity whereby the Activity is the result of [one] execution of the Activity-Spec.

Implication Axioms mentioning Execution-Of-Activity-Spec:

(=> (Planning ?Planning)
    (Exists (?Plan ?Aspec)
            (And (Plan ?Plan)
                 (Activity-Spec ?Aspec)
                 (Execution-Of-Activity-Spec ?Aspec ?Planning)
                 (Intended-Purpose ?Aspec
                                   '(Actual-Output ?Planning ?Plan)))))

(=> (Strategic-Planning ?Sgc-Planning)
    (Exists (?Strategy ?Aspec)
            (And (Strategy ?Strategy)
                 (Activity-Spec ?Aspec)
                 (Execution-Of-Activity-Spec ?Aspec ?Sgc-Planning)
                 (Intended-Purpose ?Aspec
                                   '(Actual-Output ?Sgc-Planning
                                                   ?Strategy)))))