Class Market-Need

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Subclass-Of:

Need, Eo-Entity, Individual, Individual-Thing, Thing ...

Instance-Of: Class, Relation, Set

Arity: 1

Documentation:

An identifiable Need of a Customer which is not fully satisfied by Product s currently For-Sale

---

Slots:

Implication Axioms for Market-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)))))))