Lógica de primer orden - Base de conocimientos de relaciones familiares

Se muestra a continuación, una representación sistemática, del dominio del parentesco, a través del uso de la lógica de primer orden. La base de conocimientos, de esta manera, viene a conformarse por los siguientes predicados y funciones: