quivalent non.
si x est le pre de y alors x est le parent de y.
si x est la mre 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 fminin 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 grandpre de y.
si x est le grandparent de y et si x est fminin alors x est la grandmre 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 fminin 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 frresoeur de z.
si x est le frresoeur de y et si x est masculin alors x est le frre de y.
si x est le frresoeur de y et si x est fminin alors x est la soeur de y.
si x est le parent de y et si z est le frresoeur 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 pouxpouse de y.
si x est l poux de y alors y est l pouse de x.
% attention la rgle si x est l pouse de y alors y est l poux de x donne une boucle infinie
% donc il faut dclarer les poux et pas les pouses
si x est le parent de y et si z est le frresoeur de x et si t est l pouxpouse 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 fminin alors x est la tante de y.
si x est l oncletante de y alors y est le neveunice 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 fminin alors y est la nice 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 beaupre de y.
si x est le beauparent de y et si x est fminin alors x est la bellemre 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 fminin 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 beaufrresoeur de x.
si x est le beaufrresoeur de y et x est masculin alors x est le beaufrre de y.
si x est le beaufrresoeur de y et x est fminin 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 fminin alors x est la cousine de y.


bernard est le pre de pierre.
genevive est la mre de pierre.
pierre est de sexe masculin.
bernard est le pre de dominique.
genevive est la mre de dominique.
dominique est de sexe fminin.
pierre est le pre d antoine.
catherine est la mre d antoine.
antoine est de sexe masculin.
pierre est le pre de soizic.
catherine est la mre de soizic.
soizic est de sexe fminin.

philippe est l poux de dominique.
philippe est de sexe masculin.
philippe est le pre d ric.
dominique est la mre d ric.
ric est de sexe masculin.
philippe est le pre de bndicte.
dominique est la mre de bndicte.
bndicte est de sexe fminin.

close.