Class Plan

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

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

Superclass-Of:

Process-Spec, Strategy, Sub-Plan, Strategic-Action

Instance-Of: Class, Relation, Set

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

Range-Of: Sub-Plan-Of

Arity: 1

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

---

Slots:

Intended-Purpose:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: State-Of-Affairs

Plan-Assumption:

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

Sub-Plan-Of:

Equivalence Axioms for Plan:

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

Implication Axioms mentioning 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)))))

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

Equivalence Axioms mentioning 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)))))