Class Eo-Set

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