Notes for Partner:
- This is a special Role-Class.
- Why: Why is Partner a subclass of both Person and Actor?
While every Person is a Potential-Actor, a Person is not an
[Actual] Actor unless it plays an Actor Role in some Relationship
such as this one.
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)
(Exists (?Partnership) (Partner-Of ?Partner ?Partnership))))