Function Product-For-Sale

• Defined in ontology: Enterprise-v0.1

Notes for Product-For-Sale:

• There is possible confusion with the use of the term `product' when referring to something produced/manufactured but which is not sold (i.e. an intermediate product internal to a manufacturing process). It may become necessary to introduce two terms for this, such as `Market Product' and `Manufactured Product'.

Slots on function Product-For-Sale:

Arity: 2

Documentation: the Good-Service-or-Money that is offered For-Sale by a Legal-Entity.

Domain: For-Sale

Instance-Of: Binary-Relation, Function, Relation, Set

Range: Good-Service-Or-Money

Other Related Equivalence Axioms for Product-For-Sale:

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

Other Related Axioms for Product-For-Sale:

(Inherited-Facet-Value Slot-Value-Type
                       For-Sale
                       Product-For-Sale
                       Eo-Entity)

(Inherited-Facet-Value Slot-Cardinality For-Sale Product-For-Sale 1)