В качестве первого примера рассмотрим проблемную область семейных отношений, или родства. Эта проблемная область включает такие факты, как "Элизабет —мать Чарльза" и "Чарльз— отец Уильяма", и правила наподобие того, что "Бабушка — это мать родителя".

Очевидно, что объектами в этой проблемной области являются люди. В ней будут применяться два унарных предиката, Male (Мужчина) и Female (Женщина). Отношения родства (связи между родителями и детьми, братьями и сестрами, мужем и женой и т.д.) будут представлены с помощью бинарных предикатов: Parent (Родитель), Sibling (Брат или сестра), Brother (Брат), Sister (Сестра), Child (Ребенок), Daughter (Дочь), Son (Сын), Spouse (Супруг или супруга), Wife (Жена), Husband (Муж), Grandparent (Дедушка или бабушка), Grandchild (Внук или внучка), Cousin (Двоюродный брат или двоюродная сестра), Aunt (Тетя) и Uncle (Дядя). В качестве предикатов Mother (Мать) и Father (Отец) мы будем использовать функции, поскольку каждый человек имеет по одному из этих объектов (по крайней мере, в соответствии с законами природы).

Рассмотрим каждую из функций и предикатов, записывая все, что мы знаем о них, в терминах других символов. Например, мать — это родитель женского рода:

Муж — это супруг мужского пола:

Мужчины и женщины — непересекающиеся категории людей:

Отношения между родителями и детьми являются взаимно противоположными:

Дедушка или бабушка — это родитель родителя:

Брат или сестра — это еще один ребенок тех же родителей:

Формулируя подобные сведения, можно заполнить еще несколько страниц.