<logic> Intuitively, whatever is said of the subject of a sentence. A function from individuals (or a sequence of individuals) to truth-values. Notation: in "Px", P is the predicate.
See matrix, function, n-adic predicate, predicate logic, prefix, propositional function, relation.
Argument of a predicate
Any of the individuals of which the predicate is asserted. Notation: in "Pxyz", x, y, and z are the arguments of predicate P. In first-order predicate logic, only terms can be arguments;
Extension of a predicate
The set of all objects of which the predicate is true. Notation: the extension of predicate P is x : Px. See Russell's paradox
[Glossary of First-Order Logic]
Try this search on OneLook / Google