Predicate calculus can't capture human reasoning
Many knowledge-based systems encode informaiton with some version of predicate calculus, which is based on the classical concept of a category. But the classical veiw of categories has been disproved by empirical evidence.
George Lakoff, 1987.
Note: Also see sidebar "Postulates of Experiential Realism" on this map.