Relation Sub-Plan-Of

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Instance-Of: Binary-Relation, Relation, Set

Domain: Plan

Range: Plan

Arity: 2

Documentation:

a Relationship between two Plans whereby the Intended-Purpose of one Plan does Help-Achieve the Intended-Purpose of the other Plan.

Implication Axioms for Sub-Plan-Of:

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

Equivalence Axioms for Sub-Plan-Of:

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

Axioms for Sub-Plan-Of:

(Plan ?Sub-Plan)

(Plan ?Plan)

Implication Axioms mentioning Sub-Plan-Of:

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

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

Equivalence Axioms mentioning Sub-Plan-Of:

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

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