Class Actual-Doer

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

Actor, Eo-Entity, Individual-Thing, Potential-Actor, Qua-Entity ...

Instance-Of: Class, Relation, Set

Arity: 1

Documentation: The Actor in the Actually-Execute relationship.

---

Slots:

Implication Axioms for Actual-Doer:

(=> (Actual-Doer ?X)
    (Exists (?Activity) (Actually-Execute ?X ?Activity)))

Equivalence Axioms for Actual-Doer:

(<=> (Actual-Doer ?X)
     (And (Actor ?X)
          (Exists (?Activity) (Actually-Execute ?X ?Activity))))