Class Vendor

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

Actor, Legal-Entity, Eo-Entity, Individual-Thing, Thing ...

Superclass-Of: Competitor

Instance-Of: Class, Relation, Set

Domain-Of: Competitor-Of, Vendor-Image

Range-Of: Brand-Of, Competitor-Of

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.

---

Slots:

Competitor-Of:

Vendor-Image:

Equivalence Axioms for Vendor:

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

Implication Axioms mentioning Vendor:

(=> (Competitor ?Competitor) (Vendor ?Competitor))

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

Equivalence Axioms mentioning Vendor:

(<=> (Competitor ?Competitor)
     (And (Vendor ?Competitor)
          (Qua-Entity ?Competitor)
          (Or (Exists (?Vendor2)
                      (Competitor-Of ?Competitor ?Vendor2))
              (Exists (?Vendor1)
                      (Competitor-Of ?Vendor1 ?Competitor)))))

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