Class Image

• 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

Arity: 1

Documentation:

The State-of-Affairs in one of the following Relationships:

• Product-Image
• Vendor-Image
• Brand-Image

---

Slots:

Implication Axioms for Image:

(=> (Image ?Image)
    (Or (Exists (?Product) (Product-Image ?Image ?Product))
        (Exists (?Vendor) (Vendor-Image ?Image ?Vendor))
        (Exists (?Brand) (Brand-Image ?Image ?Brand))))

Equivalence Axioms for Image:

(<=> (Image ?Image)
     (And (String ?Image)
          (Qua-Entity ?Image)
          (Or (Exists (?Product) (Product-Image ?Image ?Product))
              (Exists (?Vendor) (Vendor-Image ?Image ?Vendor))
              (Exists (?Brand) (Brand-Image ?Image ?Brand)))))