Class Actor

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

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

Superclass-Of:

Purpose-Holder, Shareholder, Specified-Doer, Stakeholder, Vendor ...

Instance-Of: Class, Relation, Set

Arity: 1

Documentation: An EO-Entity that *does* play an Actor Role

---

Slots:

Implication Axioms mentioning Actor:

(=> (Activity-Owner ?Actor) (Actor ?Actor))

(=> (Actual-Doer ?X) (Actor ?X))

(=> (Customer ?X) (Actor ?X))

(=> (Owner ?Owner) (Actor ?Owner))

(=> (Partner ?Partner) (Actor ?Partner))

Equivalence Axioms mentioning Actor:

(<=> (Activity-Owner ?Actor)
     (And (Actor ?Actor)
          (Exists (?Activity-Ownership)
                  (And (Activity-Ownership ?Activity-Ownership)
                       (Owning-Actor ?Activity-Ownership ?Actor)))))

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

(<=> (Customer ?X)
     (And (Legal-Entity ?X)
          (Actor ?X)
          (Or (Exists (?Sale) (Actual-Customer ?Sale ?X))
              (Exists (?Potential-Sale)
                      (Potential-Customer ?Potential-Sale ?X))
              (Exists (?Sale-Offer)
                      (Specified-Potential-Customer ?Sale-Offer ?X)))))

(<=> (Owner ?Owner)
     (And (Actor ?Owner)
          (Exists (?Ownership) (Owning-Actor ?Ownership ?Owner))))

(<=> (Partner ?Partner)
     (And (Person ?Partner)
          (Actor ?Partner)
          (Exists (?Partnership) (Partner-Of ?Partner ?Partnership))))