Notes for Product-Sold:
- 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-Sold:
- Arity: 2
the Good-Service-or-Money that is agreed to be exchanged by
the Sale-Vendor with the
Actual-Customer in a Sale.
- Domain: Sale
- Instance-Of: Binary-Relation, Function, Relation, Set
- Range: Good-Service-Or-Money
Other Related Equivalence Axioms for Product-Sold:
(<=> (Product ?X)
(Or (Exists (?Sale) (Product-Sold ?Sale ?X))
(Exists (?For-Sale) (Product-For-Sale ?For-Sale ?X))))
Other Related Axioms for Product-Sold:
(Inherited-Facet-Value Minimum-Slot-Cardinality Sale Product-Sold 0)