Class Sale-Offer

• 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:

For-Sale, Eo-Entity, Individual, Individual-Thing, Thing ...

Instance-Of: Class, Relation, Set

Arity: 1

Documentation: A For-Sale situation with a Specified-Potential-Customer

---

Slots:

Asking-Price:

Slot-Cardinality: 1

Slot-Value-Type: Good-Service-Or-Money

For-Sale-Vendor:

Slot-Cardinality: 1

Slot-Value-Type: Legal-Entity

Product-For-Sale:

Slot-Cardinality: 1

Slot-Value-Type: Good-Service-Or-Money

Specified-Potential-Customer:

Minimum-Slot-Cardinality: 0

Slot-Value-Type: Legal-Entity

Implication Axioms for Sale-Offer:

(=> (Sale-Offer ?X)
    (Exists (?Le) (Specified-Potential-Customer ?X ?Le)))

Equivalence Axioms for Sale-Offer:

(<=> (Sale-Offer ?X)
     (And (For-Sale ?X)
          (Exists (?Le) (Specified-Potential-Customer ?X ?Le))))