Relation INVERSE-OF-FAMILY-RELATIONSHIP

Arity: 2
Axioms:
(= (Inverse Family-Relationship) Inverse-Of-Family-Relationship)