Relation Brand-Of

Instance-Of: Binary-Relation, Relation, Set
Domain: String
Range: Vendor
Arity: 2
a Relationship between a Vendor and a Name (i.e. a text string) whereby
the Name is identifiable by Customer s
the Name is associated with one or more Product s of the Vendor.

Implication Axioms mentioning Brand-Of:

(=> (Brand ?Brand) (Exists (?Vendor) (Brand-Of ?Brand ?Vendor)))

Equivalence Axioms mentioning Brand-Of:

(<=> (Brand ?Brand)
     (And (String ?Brand)
          (Qua-Entity ?Brand)
          (Exists (?Vendor) (Brand-Of ?Brand ?Vendor))))