Relation Partner-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: Person

Range: Partnership

Arity: 2

Documentation:

A Relationship between a Person and a Partnership denoting that the Person is a member of the Partnership

Implication Axioms mentioning Partner-Of:

(=> (Partner ?Partner)
    (Exists (?Partnership) (Partner-Of ?Partner ?Partnership)))

Equivalence Axioms mentioning Partner-Of:

(<=> (Partner ?Partner)
     (And (Person ?Partner)
          (Actor ?Partner)
          (Exists (?Partnership) (Partner-Of ?Partner ?Partnership))))