Function Product-For-Sale

Instance-Of:
Binary-Relation, Function, Relation, Set
Domain: For-Sale
Range: Good-Service-Or-Money
Arity: 2
Documentation: the Good-Service-or-Money that is offered For-Sale by a Legal-Entity.

Frame References to Product-For-Sale:

In class For-Sale:

Slots:

Product-For-Sale:
Slot-Cardinality: 1
Slot-Value-Type: Good-Service-Or-Money

Implication Axioms mentioning Product-For-Sale:

(=> (Market-Need ?Need)
    (Exists (?Customer)
            (And (Customer ?Customer)
                 (Has-Need ?Customer ?Need)
                 (Not (Exists (?For-Sale ?Product ?Feature)
                              (And (Product-For-Sale ?For-Sale
                                                     ?Product)
                                   (Has-Feature ?Product ?Feature)
                                   (Satisfies-Need ?Feature ?Need)))))))


Equivalence Axioms mentioning Product-For-Sale:

(<=> (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))))