Relation Satisfies-Need

Instance-Of: Binary-Relation, Relation, Set
Domain: Feature
Range: Need
Arity: 2
Documentation:
a Relationship between a Feature and a Need whereby if a Customer Has-Need Need and possesses a Product that Has-Feature Feature, the Product can fulfill the Customer's need.

Implication Axioms mentioning Satisfies-Need:

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