Function For-Sale-Vendor

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

Instance-Of:

Binary-Relation, Function, Relation, Set

Domain: For-Sale

Range: Legal-Entity

Arity: 2

Documentation:

The Legal-Entity offering a Good-Service-or-Money For-Sale in exchange for an Asking-Price.

Frame References to For-Sale-Vendor:

In class For-Sale:

Slots:

For-Sale-Vendor:

Slot-Cardinality: 1

Slot-Value-Type: Legal-Entity

Equivalence Axioms mentioning For-Sale-Vendor:

(<=> (Vendor ?X)
     (Or (Exists (?Sale) (Sale-Vendor ?Sale ?X))
         (Exists (?For-Sale) (For-Sale-Vendor ?For-Sale ?X))
         (Exists (?Potential-Sale)
                 (Potential-Vendor ?Potential-Sale ?X))))