Class Sub-Plan

• Defined in ontology: Enterprise-v0.1

Notes for Sub-Plan:

• This is a special Role-Class.

Slots on class Sub-Plan:

Arity: 1

Documentation: The supporting Plan in the Sub-Plan-Of Relationship

Instance-Of: Class, Relation, Set

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

Superclass-Of: Strategic-Action

---

Slots on instances of Sub-Plan:

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 Sub-Plan:

(=> (Sub-Plan ?Sub-Plan)
    (Exists (?Plan) (Sub-Plan-Of ?Sub-Plan ?Plan)))

Equivalence Axioms for Sub-Plan:

(<=> (Sub-Plan ?Sub-Plan)
     (And (Plan ?Sub-Plan)
          (Qua-Entity ?Sub-Plan)
          (Exists (?Plan) (Sub-Plan-Of ?Sub-Plan ?Plan))))

Other Related Equivalence Axioms for Sub-Plan:

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