Base de Conocimientos: Relaciones Familiares

Vx, y Sister(x,y) <-> x /= y ˄ Ep parent(p,x) ˄ parent(p,y) ˄ female(x)

Vx, y Brother(x,y) <-> x /= y ˄ Ep parent(p,x) ˄ parent(p,y) ˄ male(x)

Vx, y Cuñado(x,y) <-> male(x) ˄ Es sister(s,y) ˄  spouse(x,s)

Vx, y Cuñado(x,y) <-> male(x) ˄ Eb brother(b,x) ˄ spouse(y,b)

Vx, y Cuñada(x,y) <-> female(x) ˄ Ee brother(e,y) ˄ spouse(e,x)

Vx, y Cuñada(x,y) <-> female(x) ˄ Es sister(s,x) ˄ spouse(y,s)

Vx, y tio(x,y) <-> Ep parent(p,y) ˄ brother(x,p)

Vx ,y tia(x,y) <-> Ep parent(p,y) ˄ sister(x,p)

Vx, y grandmother(x,y) <-> female(x) ˄ Ep parent(g,p) ˄ parent(p,y)

Vx, y grandfather(x,y) <-> male(x) ˄ Ep parent(g,p) ˄ parent(p,y)

Vx, y Suegro(x,y) <-> male(x) ˄ Es son(s,x) ˄ spouse(s,y)

Vx, y Suegra(x,y) <-> female(x) ˄ Es son(s,x) ˄ spouse(s,y)

Vx, y Hijo(x,y) <-> male(x) ˄ parent(y,x)

Vx, y Hija(x,y) <-> female(x) ˄ parent(y,x)

Vx, y Yerno(x,y) <-> male(x) ˄ Es parent(s,y) ˄ spuouse(s,x)

Vx, y Nuera(x,y) <-> female(x) ˄ Es parent(s,y) ˄ spuouse(s,x)

Vx, y PrimoHermano(x,y) <-> male(x) ˄ Ep parent(p,x) ˄  tios(p,y)

Vx, y PrimaHermana(x,y) <-> female(x) ˄ Ep parent(p,x) ˄  tios(p,y)