Class For-Sale

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

Eo-Entity, Individual, Individual-Thing, Thing

Superclass-Of: Sale-Offer

Instance-Of: Class, Relation, Set

Domain-Of:

Asking-Price, For-Sale-Vendor, Product-For-Sale, Specified-Potential-Customer

Arity: 1

Documentation:

A situation whereby one Legal-Entity offers to enter into a Sale. This necessarily entails a Product-For-Sale and an Asking-Price.

---

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 mentioning For-Sale:

(=> (Sale-Offer ?X) (For-Sale ?X))

Equivalence Axioms mentioning For-Sale:

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