Class Specified-Doer

• Defined in ontology: Enterprise-v0.1

Notes for Specified-Doer:

• See notes under Specified-To-Execute
• This is a special Role-Class.

Slots on class Specified-Doer:

Arity: 1

Documentation: The Actor in the Specified-To-Execute relationship.

Instance-Of: Class, Relation, Set

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

---

Slots on instances of Specified-Doer:

Implication Axioms for Specified-Doer:

(=> (Specified-Doer ?X)
    (Exists (?Activity-Spec)
            (Specified-To-Execute ?X ?Activity-Spec)))

Equivalence Axioms for Specified-Doer:

(<=> (Specified-Doer ?X)
     (And (Actor ?X)
          (Exists (?Activity-Spec)
                  (Specified-To-Execute ?X ?Activity-Spec))))