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