Class Partner


Notes for Partner:


Slots on class Partner:

Arity: 1
Documentation: The Person in the Partner-Of Relationship
Instance-Of: Class, Relation, Set
Subclass-Of: Actor, Person, Eo-Entity, Legal-Entity, Potential-Actor ...


Slots on instances of Partner:


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))))