Function For-Sale-Vendor

• Defined in ontology: Enterprise-v0.1

Slots on function For-Sale-Vendor:

Arity: 2

Documentation:

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

Domain: For-Sale

Instance-Of: Binary-Relation, Function, Relation, Set

Range: Legal-Entity

Other Related Equivalence Axioms for For-Sale-Vendor:

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

Other Related Axioms for For-Sale-Vendor:

(Inherited-Facet-Value Slot-Value-Type
                       For-Sale
                       For-Sale-Vendor
                       Legal-Entity)

(Inherited-Facet-Value Slot-Cardinality For-Sale For-Sale-Vendor 1)