Class Strategy

• Defined in ontology: Enterprise-v0.1

Slots on class Strategy:

Arity: 1

Documentation: a Plan to Achieve a Strategic-Purpose

Instance-Of: Class, Relation, Set

Subclass-Of: Plan, Activity-Or-Spec, Activity-Spec, Eo-Entity, Qua-Entity ...

---

Slots on instances of Strategy:

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

Other Related Implication Axioms for 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)))))

Other Related Equivalence Axioms for Strategy:

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