Árbol Familiar

Relaciones
Concepto Instancias
∀ x :∃ y :hombre ( x ) ∨mujer ( x ) → hijo ( x , y ) ∧ nieto( x , y)
Hijo(x,y) Hijo (tomas, juan) ∃ x : padre ( x , y ) → orgullososde ( x )
Hija(x,y) Hija (ana, tomas) ∀ x :hombre ( x ) ∧ padre ( x , y ) → hijo(x , y)
Padre(x,y) Hijo (juan, marco)
∀ x :mujer ( x ) ∧ madre ( x , y ) →hija ( x , y )
Madre(x,y) Hija (Alicia, juan)
∀ x :∃ y :hombre ( x ) →mujer ( x , y ) ∧esposa (x , y)
Recién_nacida(x) Padre (jose, mario)
Hombre(x) Hijo (jose, Alicia) ∀ x :∃ y :mujer ( x ) → hombre ( x , y ) ∧esposo (x , y)
Mujer(x) Recién_nacida(maria) ∀ x :mujer ( x ) ∧ madre ( x , y ) → esposa(x , y)
Nieto(x,y) Madre (Guadalupe, ∀ x :hombre ( x ) ∧ padre ( x , y ) → esposo( x , y )
Padres(x,y) tomas)
Esposa(x,y) Madre (Guadalupe,
Esposo(x,y) alicia)
Orgulloso_de(x) Hija (ana, Silvia)
Nieta (matia, pedro)
Hija (maria, elena)
Hombre (tomas)
Hombre (juan)
Hombre (marco)
Hombre (jose)
Hombre (pedro)
Mujer (ana)
Mujer (alicia )
Mujer (maria)
Mujer (guadalupe)
Mujer (silvia)
Mujer (elena)