Relation Intended-Purpose

• Defined in ontology: Enterprise-v0.1

Notes for Intended-Purpose:

• Example: The Intended-Purpose of a Plan is to be in some particular location on some particular date

Slots on relation Intended-Purpose:

Arity: 2

Documentation:

A Relationship between an Activity-Spec and a State-Of-Affairs whereby: 1. Execution of the Plan will result in fully or partially Achieving the State Of Affairs *and* 2. The State-Of-Affairs comprises one more of the Specified-Effects of the Activity-Spec whose achievement is declared to be the primary reason(s) for Executing the Activity-Spec. An Activity-Spec with an Intended-Purpose is defined to be a Plan

Domain: Activity-Spec

Instance-Of: Binary-Relation, Relation, Set

Range: State-Of-Affairs

Subrelation-Of: Specified-Effect

Other Related Implication Axioms for Intended-Purpose:

(=> (Critical-Success-Factor ?Csf)
    (And (Exists (?Actor) (Intended-Purpose ?Actor ?Csf))
         (Exists (?Strategic-Purpose)
                 (And (Strategic-Purpose ?Strategic-Purpose)
                      (Help-Achieve ?Csf ?Strategic-Purpose)))))

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

(=> (Strategy ?Strategy)
    (Exists (?Purpose)
            (And (Strategic-Purpose ?Purpose)
                 (Intended-Purpose ?Strategy ?Purpose))))

(=> (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 Intended-Purpose:

(<=> (Purpose ?Purpose)
     (And (State-Of-Affairs ?Purpose)
          (Qua-Entity ?Purpose)
          (Or (Exists (?Plan) (Intended-Purpose ?Plan ?Purpose))
              (Exists (?Actor) (Hold-Purpose ?Actor ?Purpose)))))

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

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

Other Related Axioms for Intended-Purpose:

(Inherited-Facet-Value Slot-Value-Type
                       Plan
                       Intended-Purpose
                       State-Of-Affairs)

(Inherited-Facet-Value Slot-Cardinality Plan Intended-Purpose 1)

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Plan
                       Intended-Purpose
                       0)