Class Strategic-Planning

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

Planning, Activity, Activity-Or-Spec, Eo-Entity, Individual-Thing ...

Instance-Of: Class, Relation, Set

Range-Of: Used-Or-Associated-With

Arity: 1

Documentation:

a Planning Activity whose Intended-Purpose is to produce [an Actual-Output which is] a Strategy

---

Slots:

Activity-Status:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Activity-State

Actual-Activity-Interval:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: Time-Range

Actual-Effect:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Effect

Actual-Pre-Condition:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Pre-Condition

Implication Axioms for Strategic-Planning:

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

Implication Axioms mentioning Strategic-Planning:

(=> (Critical-Assumption ?Critical-Assumption)
    (Exists (?Strategic-Planning)
            (And (Strategic-Planning ?Strategic-Planning)
                 (Planning-Assumption ?Strategic-Planning
                                      ?Critical-Assumption))))

(=> (Critical-Influence-Factor ?Critical-Influence-Factor)
    (Exists (?Strategic-Planning)
            (And (Strategic-Planning ?Strategic-Planning)
                 (Used-Or-Associated-With ?Critical-Influence-Factor
                                          ?Strategic-Planning))))

(=> (Non-Critical-Assumption ?Non-Critical-Assumption)
    (Not (Exists (?Strategic-Planning)
                 (And (Strategic-Planning ?Strategic-Planning)
                      (Planning-Assumption ?Strategic-Planning
                                           ?Non-Critical-Assumption)))))

(=> (Non-Critical-Influence-Factor ?Non-Critical-Influence-Factor)
    (Not (Exists 
             (?Strategic-Planning)
             (And (Strategic-Planning ?Strategic-Planning)
                  (Used-Or-Associated-With 
                      ?Non-Critical-Influence-Factor
                      ?Strategic-Planning)))))

Equivalence Axioms mentioning Strategic-Planning:

(<=> (Critical-Influence-Factor ?Critical-Influence-Factor)
     (And (Influence-Factor ?Critical-Influence-Factor)
          (Exists 
              (?Strategic-Planning)
              (And (Strategic-Planning ?Strategic-Planning)
                   (Used-Or-Associated-With ?Critical-Influence-Factor
                                            ?Strategic-Planning)))))

(<=> (Non-Critical-Influence-Factor ?Non-Critical-Influence-Factor)
     (And (Influence-Factor ?Non-Critical-Influence-Factor)
          (Not (Exists 
                   (?Strategic-Planning)
                   (And (Strategic-Planning ?Strategic-Planning)
                        (Used-Or-Associated-With 
                            ?Non-Critical-Influence-Factor
                            ?Strategic-Planning))))))

Axioms mentioning Strategic-Planning:

(Forall (?Sgc-Planning ?Assumption)
        (=> (And (Strategic-Planning ?Sgc-Planning)
                 (Assumption ?Assumption)
                 (Planning-Assumption ?Sgc-Planning ?Assumption))
            (Used-Or-Associated-With ?Assumption ?Sgc-Planning)))