Function Product-Sold


Notes for Product-Sold:


Slots on function Product-Sold:

Arity: 2
Documentation:
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)