Class Proposed-Sale-Offer

• Defined in ontology: Enterprise-v0.1

Slots on class Proposed-Sale-Offer:

Arity: 1

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

Instance-Of: Class, Relation, Set

Subclass-Of: For-Sale, Eo-Entity, Individual, Individual-Thing, Thing ...

---

Slots on instances of Proposed-Sale-Offer:

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: Eo-Entity

Specified-Potential-Customer:

Minimum-Slot-Cardinality: 0

Slot-Value-Type: Legal-Entity

Implication Axioms for Proposed-Sale-Offer:

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

Equivalence Axioms for Proposed-Sale-Offer:

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