Class Brand

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

Qua-Entity, String, Eo-Entity, Individual-Thing, List ...

Instance-Of: Class, Relation, Set

Domain-Of: Brand-Image

Arity: 1

Documentation: The Name in the Brand-Of Relationship

---

Slots:

Brand-Image:

Implication Axioms for Brand:

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

Equivalence Axioms for Brand:

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