Class Product

• 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, Eo-Entity, Individual, Individual-Thing, Thing ...

Instance-Of: Class, Relation, Set

Domain-Of: Has-Feature, Product-Image

Arity: 1

Documentation:

A Good-Service-or-Money that is or has the potential to be either

• offered For-Sale by a Vendor
• agreed to be exchanged by the Vendor with the Actual-Customer in a Sale.

---

Slots:

Has-Feature:

Product-Image:

Equivalence Axioms for Product:

(<=> (Product ?X)
     (Or (Exists (?Sale) (Product-Sold ?Sale ?X))
         (Exists (?For-Sale) (Product-For-Sale ?For-Sale ?X))
         (Exists (?Potential-Sale)
                 (Potential-Product ?Potential-Sale ?X))))

Implication Axioms mentioning Product:

(=> (Set-Of-Products ?Products)
    (Forall (?X) (=> (Member ?X ?Products) (Product ?X))))

Equivalence Axioms mentioning Product:

(<=> (Set-Of-Products ?Products)
     (And (Eo-Set ?Products)
          (Set ?Products)
          (Forall (?X) (=> (Member ?X ?Products) (Product ?X)))))