Class Plan

• Defined in ontology: Enterprise-v0.1

Notes for Plan:

• This definition is equivalent to: An Activity-Spec that is associated with an Intended-Purpose.
• This is a special Role-class.

Slots on class Plan:

Arity: 1

Documentation: The Activity-Spec in the Intended-Purpose Relationship

Domain-Of: Plan-Assumption, Sub-Plan-Of

Instance-Of: Class, Relation, Set

Range-Of: Sub-Plan-Of

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

Superclass-Of: Process-Spec, Strategy, Sub-Plan, Strategic-Action

---

Slots on instances of 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

Equivalence Axioms for Plan:

(<=> (Plan ?X) (Exists (?Soa) (Intended-Purpose ?X ?Soa)))

Other Related Implication Axioms for Plan:

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

Other Related Equivalence Axioms for Plan:

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

(<=> (Sub-Plan-Of ?Sub-Plan ?Plan)
     (And (Plan ?Plan)
          (Plan ?Sub-Plan)
          (Exists (?Purpose ?Sub-Purpose)
                  (And (Intended-Purpose ?Plan ?Purpose)
                       (Intended-Purpose ?Sub-Plan ?Sub-Purpose)
                       (Help-Achieve ?Sub-Purpose ?Purpose)))))