Relation Competitor-Of

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

Range: Vendor

Arity: 2

Documentation:

a Relationship between two Vendors whereby one offers one or more Product s For-Sale that could limit the Sale s of one or more Product s of the other Vendor.

Implication Axioms mentioning Competitor-Of:

(=> (Competitor ?Competitor)
    (Or (Exists (?Vendor2) (Competitor-Of ?Competitor ?Vendor2))
        (Exists (?Vendor1) (Competitor-Of ?Vendor1 ?Competitor))))

Equivalence Axioms mentioning Competitor-Of:

(<=> (Competitor ?Competitor)
     (And (Vendor ?Competitor)
          (Qua-Entity ?Competitor)
          (Or (Exists (?Vendor2)
                      (Competitor-Of ?Competitor ?Vendor2))
              (Exists (?Vendor1)
                      (Competitor-Of ?Vendor1 ?Competitor)))))