Relation Specified-Potential-Customer

• 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, Relation, Set

Domain: For-Sale

Range: Legal-Entity

Arity: 2

Documentation:

A Relationship between a For-Sale and a Legal-Entity where by the Legal-Entity is specifically being offered the Product-For-Sale

Frame References to Specified-Potential-Customer:

In class For-Sale:

Slots:

Specified-Potential-Customer:

Minimum-Slot-Cardinality: 0

Slot-Value-Type: Legal-Entity

Implication Axioms mentioning Specified-Potential-Customer:

(=> (Customer ?X)
    (Or (Exists (?Sale) (Actual-Customer ?Sale ?X))
        (Exists (?Potential-Sale)
                (Potential-Customer ?Potential-Sale ?X))
        (Exists (?Sale-Offer)
                (Specified-Potential-Customer ?Sale-Offer ?X))))

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

Equivalence Axioms mentioning Specified-Potential-Customer:

(<=> (Customer ?X)
     (And (Legal-Entity ?X)
          (Actor ?X)
          (Or (Exists (?Sale) (Actual-Customer ?Sale ?X))
              (Exists (?Potential-Sale)
                      (Potential-Customer ?Potential-Sale ?X))
              (Exists (?Sale-Offer)
                      (Specified-Potential-Customer ?Sale-Offer ?X)))))

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