Found:

Predicate constant

**SEMANTICS: ** a basic expression in
**predicate logic** denoting properties
of or relations between individuals. One-place predicate constants combine with
one individual term: P(a), two-place predicates with two individual terms:
R(b,c), etcetera. One-place predicates are interpreted as sets, n-place predicates
with n > 1 as sets of ordered pairs. In 'higher-order' predicate logic and in
**type logic**, it is also possible for a
predicate to take another predicate as an argument. Predicates which take other
predicates as their argument are called second-order predicates.

LIT. | Gamut, L.T.F. (1991) |