a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
<noun.cognition>
<noun.cognition>
| functional calculus |
|
| predicate calculus |
|
semantic pointers
hypernym
part meronym