Class Customer

• 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, Legal-Entity, Eo-Entity, Individual-Thing, Thing ...

Superclass-Of: Reseller

Instance-Of: Class, Relation, Set

Domain-Of: Has-Need

Arity: 1

Documentation:

Any Legal-Entity that participates in at least one of:

• the Actual-Customer relationship with respect to some Sale,
• the Potential-Customer relationship with respect to some Potential-Sale,
• the Specified-Potential-Customer Relationship with some Sale-Offer

---

Slots:

Has-Need:

Implication Axioms for Customer:

(=> (Customer ?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))))

Equivalence Axioms for Customer:

(<=> (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)))))

Implication Axioms mentioning Customer:

(=> (Market-Need ?Need)
    (Exists (?Customer)
            (And (Customer ?Customer)
                 (Has-Need ?Customer ?Need)
                 (Not (Exists (?For-Sale ?Product ?Feature)
                              (And (Product-For-Sale ?For-Sale
                                                     ?Product)
                                   (Has-Feature ?Product ?Feature)
                                   (Satisfies-Need ?Feature ?Need)))))))

(=> (Set-Of-Customers ?Customers)
    (Forall (?X) (=> (Member ?X ?Customers) (Customer ?X))))

Equivalence Axioms mentioning Customer:

(<=> (Set-Of-Customers ?Customers)
     (And (Eo-Set ?Customers)
          (Set ?Customers)
          (Forall (?X) (=> (Member ?X ?Customers) (Customer ?X)))))