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