Какая модель знания основана на классическом исчислении предикатов 1-го порядка?

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.