Class Set-Of-Customers

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

Eo-Set, Set, Eo-Entity, Individual-Thing ...

Instance-Of: Class, Relation, Set

Range-Of: Customer-Range

Arity: 1

Documentation:

A Set-Class all of whose instances are sets whose members are all of Class Customer.

---

Slots:

Implication Axioms for Set-Of-Customers:

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

Equivalence Axioms for Set-Of-Customers:

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

Frame References to Set-Of-Customers:

In class Market-Segment:

Slots:

Customer-Range:

Slot-Value-Type: Set-Of-Customers