Relaciones Familiares

Vx,y Brother(x,y)<-> x#ý^ Male(x)^Ep parent(x) = parent(y)

Vy,x Sister(y,x)<-> y#x ^Female(y)^Ep Parent(y) =parent(x)

Vgp,c Grandpa(gp,c)<->Ep parent(gp,p) ^ parent(p,c)^male(gp)

Vgm,c Grandma(pm,c)<->Ep paren(gm,p)^parent(p,c)^female(gm)