Relation Sub-Plan-Of

• Defined in ontology: Enterprise-v0.1

Slots on relation Sub-Plan-Of:

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.

Domain: Plan

Instance-Of: Binary-Relation, Relation, Set

Range: Plan

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

Other Related Equivalence Axioms for 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))))