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

Instance-Of: Binary-Relation, Relation, Set

Domain: Potential-Sale

Range: Good-Service-Or-Money

Arity: 2

Documentation:

the Good-Service-or-Money in a Potential-Sale that may become

the Product-Sold in a possible future Sale.

Frame References to Potential-Product:

In class Potential-Sale:

Slots:

Potential-Product:

Minimum-Slot-Cardinality: 0

Slot-Value-Type: Good-Service-Or-Money

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