Class Purpose-Holder

• Defined in ontology: Enterprise-v0.1

Notes for Purpose-Holder:

• This is a special Role-Class.

Slots on class Purpose-Holder:

Arity: 1

Documentation: The Actor in the Hold-Purpose Relationship

Instance-Of: Class, Relation, Set

Subclass-Of: Actor, Eo-Entity, Individual-Thing, Potential-Actor, Qua-Entity ...

---

Slots on instances of Purpose-Holder:

Implication Axioms for Purpose-Holder:

(=> (Purpose-Holder ?Purpose-Holder)
    (Exists (?Purpose) (Hold-Purpose ?Purpose-Holder ?Purpose)))

Equivalence Axioms for Purpose-Holder:

(<=> (Purpose-Holder ?Purpose-Holder)
     (And (Actor ?Purpose-Holder)
          (Exists (?Purpose) (Hold-Purpose ?Purpose-Holder ?Purpose))))