Relation Brand-Of

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Instance-Of: Binary-Relation, Relation, Set

Domain: String

Range: Vendor

Arity: 2

Documentation:

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