Class Set-Of-Products

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

Arity: 1

Documentation:

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

---

Slots:

Implication Axioms for Set-Of-Products:

(=> (Set-Of-Products ?Products)
    (Forall (?X) (=> (Member ?X ?Products) (Product ?X))))

Equivalence Axioms for Set-Of-Products:

(<=> (Set-Of-Products ?Products)
     (And (Eo-Set ?Products)
          (Set ?Products)
          (Forall (?X) (=> (Member ?X ?Products) (Product ?X)))))

Frame References to Set-Of-Products:

In class Market-Segment:

Slots:

Product-Range:

Slot-Value-Type: Set-Of-Products