Class Purpose

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

Qua-Entity, State-Of-Affairs, Eo-Entity, Individual-Thing, Thing ...

Superclass-Of:

Goal, Mission, Objective, Strategic-Purpose, Vision ...

Instance-Of: Class, Relation, Set

Arity: 1

Documentation:

a State-Of-Affairs that is either 1) the Intended-Purpose of some Plan, or 2) in a Hold-Purpose relationship with some Actor

---

Slots:

Implication Axioms for Purpose:

(=> (Purpose ?Purpose)
    (Or (Exists (?Plan) (Intended-Purpose ?Plan ?Purpose))
        (Exists (?Actor) (Hold-Purpose ?Actor ?Purpose))))

Equivalence Axioms for Purpose:

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