Relation Partner-Of


Slots on relation Partner-Of:

Arity: 2
Documentation:
A Relationship between a Person and a Partnership denoting that the Person is a member of the Partnership
Domain: Person
Instance-Of: Binary-Relation, Relation, Set
Range: Partnership

Other Related Equivalence Axioms for Partner-Of:

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