Relation Specified-Potential-Customer


Notes for Specified-Potential-Customer:


Slots on relation Specified-Potential-Customer:

Arity: 2
Documentation:
A Relationship between a For-Sale and a Legal-Entity where by the Legal-Entity is specifically offered the Product-For-Sale
Domain: For-Sale
Instance-Of: Binary-Relation, Relation, Set
Range: Legal-Entity

Other Related Equivalence Axioms for Specified-Potential-Customer:

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


Other Related Axioms for Specified-Potential-Customer:

(Inherited-Facet-Value Slot-Value-Type
                       For-Sale
                       Specified-Potential-Customer
                       Legal-Entity)

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       For-Sale
                       Specified-Potential-Customer
                       0)