Class Vendor

• Defined in ontology: Enterprise-v0.1

Notes for Vendor:

• Vendor is a special Role-Class.
• We could have defined this class as the superclass of two sub-classes corresponding to the Sale-Vendor and For-Sale-Vendor relationships; however, this was not deemed useful or necessary at this point.

Slots on class Vendor:

Arity: 1

Documentation:

A Legal-Entity who either 1) offers a Product For-Sale for an Asking-Price or 2) agrees to exchange a Product for a Sale-Price in a Sale.

Instance-Of: Class, Relation, Set

Subclass-Of: Actor, Legal-Entity, Eo-Entity, Individual-Thing, Thing ...

---

Slots on instances of Vendor:

Equivalence Axioms for Vendor:

(<=> (Vendor ?X)
     (Or (Exists (?Sale) (Sale-Vendor ?Sale ?X))
         (Exists (?For-Sale) (For-Sale-Vendor ?For-Sale ?X))))