Class Partner

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Subclass-Of:

Actor, Person, Eo-Entity, Legal-Entity, Potential-Actor ...

Instance-Of: Class, Relation, Set

Arity: 1

Documentation:

The Person in the Partner-Of Relationship; i.e. a Person who forms part of a Partnership

---

Slots:

Implication Axioms for Partner:

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

Equivalence Axioms for Partner:

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