équivalent non.
si x est le père de y alors x est le parent de y.
si x est la mère de y alors x est le parent de y.
si x est le parent de y alors y est l enfant de x.
si x est le parent de y et si y est masculin alors y est le fils de x.
si x est le parent de y et si y est féminin alors y est la fille de x.
si x est le parent de y et si y est le parent de z alors x est le grandparent de z.
si x est le grandparent de y et si x est masculin alors x est le grandpère de y.
si x est le grandparent de y et si x est féminin alors x est la grandmère de y.
si x est le grandparent de y alors y est le petitenfant de x.
si x est le grandparent de y et si y est masculin alors y est le petitfils de x.
si x est le grandparent de y et si y est féminin alors y est la petitefille de x.
si x est le parent de y et si x est le parent de z et si y n est pas z alors y est le frèresoeur de z.
si x est le frèresoeur de y et si x est masculin alors x est le frère de y.
si x est le frèresoeur de y et si x est féminin alors x est la soeur de y.
si x est le parent de y et si z est le frèresoeur de x alors z est l oncletante de y.
si x est l époux de y ou si x est l épouse de y alors x est l épouxépouse de y.
si x est l époux de y alors y est l épouse de x.
% attention la règle si x est l épouse de y alors y est l époux de x donne une boucle infinie
% donc il faut déclarer les époux et pas les épouses
si x est le parent de y et si z est le frèresoeur de x et si t est l épouxépouse de z alors t est l oncletante de y.
si x est l oncletante de y et si x est masculin alors x est l oncle de y.
si x est l oncletante de y et si x est féminin alors x est la tante de y.
si x est l oncletante de y alors y est le neveunièce de x.
si x est l oncletante de y et si y est masculin alors y est le neveu de x.
si x est l oncletante de y et si y est féminin alors y est la nièce de x.
si x est le parent de y et si z est l époux de y alors x est le beauparent de z.
si x est le parent de y et si z est l épouse de y alors x est le beauparent de z.
si x est le beauparent de y et si x est masculin alors x est le beaupère de y.
si x est le beauparent de y et si x est féminin alors x est la bellemère de y.
si x est le beauparent de y alors y est le gendrebrue de x.
si x est le beauparent de y et si y est masculin alors y est le gendre de x.
si x est le beauparent de y et si y est féminin alors y est la brue de x.
si x est le beauparent de y et y est le parent de z alors z est le beaufrèresoeur de x.
si x est le beaufrèresoeur de y et x est masculin alors x est le beaufrère de y.
si x est le beaufrèresoeur de y et x est féminin alors x est la bellesoeur de y.
si y est le parent de x et si z est l oncletante de x et si z est le parent de t alors x est le cousincousine de t.
si x est le cousincousine de y et si x est masculin alors x est le cousin de y.
si x est le cousincousine de y et si x est féminin alors x est la cousine de y.


bernard est le père de pierre.
geneviève est la mère de pierre.
pierre est de sexe masculin.
bernard est le père de dominique.
geneviève est la mère de dominique.
dominique est de sexe féminin.
pierre est le père d antoine.
catherine est la mère d antoine.
antoine est de sexe masculin.
pierre est le père de soizic.
catherine est la mère de soizic.
soizic est de sexe féminin.

philippe est l époux de dominique.
philippe est de sexe masculin.
philippe est le père d éric.
dominique est la mère d éric.
éric est de sexe masculin.
philippe est le père de bénédicte.
dominique est la mère de bénédicte.
bénédicte est de sexe féminin.

close.