Предикат против функций в логике первого порядка

В последнее время я был так сбит с толку относительно разницы между предикатом и функцией в логике первого порядка.

На данный момент я понимаю,

Предикат должен показать сравнение или показать связь между двумя объектами, например,

President(Obama, America)

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

Human(Obama)

Теперь я на правильном пути, чтобы различать эти два термина, или я Я совершенно неправ и нуждаюсь в кратком объяснении, я хотел бы получить мнение эксперта, чтобы уточнить мои знания (или подтвердить мое понимание). Заранее спасибо

Krio