Class Set-Of-Vendors

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

Arity: 1

Documentation:

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

---

Slots:

Implication Axioms for Set-Of-Vendors:

(=> (Set-Of-Vendors ?Vendors)
    (Forall (?X) (=> (Member ?X ?Vendors) (Vendor ?X))))

Equivalence Axioms for Set-Of-Vendors:

(<=> (Set-Of-Vendors ?Vendors)
     (And (Eo-Set ?Vendors)
          (Set ?Vendors)
          (Forall (?X) (=> (Member ?X ?Vendors) (Vendor ?X)))))

Frame References to Set-Of-Vendors:

In class Market-Segment:

Slots:

Vendor-Range:

Slot-Value-Type: Set-Of-Vendors