Class Eo-Set

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

Superclass-Of: Set-Of-Customers, Set-Of-Products, Set-Of-Vendors

Instance-Of:

Class, Set-Class, Relation, Set

Arity: 1

Documentation:

The most general Set-Class in the Enterprise Ontology. Every instance of Set-Class is a subclass of EO-Set.

---

Slots:

Equivalence Axioms for Eo-Set:

(<=> (Eo-Set ?X0)
     (Exists (?Sc) (And (Set-Class ?Sc) (Instance-Of ?X0 ?Sc))))

Implication Axioms mentioning Eo-Set:

(=> (Set-Of-Customers ?Customers) (Eo-Set ?Customers))

(=> (Set-Of-Products ?Products) (Eo-Set ?Products))

(=> (Set-Of-Vendors ?Vendors) (Eo-Set ?Vendors))

Equivalence Axioms mentioning Eo-Set:

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

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

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