Class Strategy

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

Subclass-Of:

Plan, Activity-Or-Spec, Activity-Spec, Eo-Entity, Qua-Entity ...

Instance-Of: Class, Relation, Set

Arity: 1

Documentation:

a Plan whose Intended-Purpose is a Strategic-Purpose; i.e. a Plan to Achieve a Strategic-Purpose

---

Slots:

Intended-Purpose:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: State-Of-Affairs

Specified-Activity-Interval:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: Time-Range

Specified-Effect:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Effect

Specified-Pre-Condition:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Pre-Condition

Implication Axioms for Strategy:

(=> (Strategy ?Strategy)
    (Exists (?Purpose)
            (And (Strategic-Purpose ?Purpose)
                 (Intended-Purpose ?Strategy ?Purpose))))

Implication Axioms mentioning Strategy:

(=> (Strategic-Action ?Strategic-Action)
    (Exists (?Strategy)
            (And (Strategy ?Strategy)
                 (Sub-Plan-Of ?Strategic-Action ?Strategy))))

(=> (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)))))

Equivalence Axioms mentioning Strategy:

(<=> (Strategic-Action ?Strategic-Action)
     (And (Sub-Plan ?Strategic-Action)
          (Exists (?Strategy)
                  (And (Strategy ?Strategy)
                       (Sub-Plan-Of ?Strategic-Action ?Strategy)))))