Relation Product-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

Instance-Of: Binary-Relation, Relation, Set

Domain: Product

Range: State-Of-Affairs

Arity: 2

Documentation:

a Relationship between a Product and a State-of-Affairs whereby there are one more Customers that believe the State-of-Affairs to be true about the Product.

Implication Axioms mentioning Product-Image:

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

Equivalence Axioms mentioning Product-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)))))