Definition:Predicate

Definition
The predicate of a simple statement in logic is the part of the statement which defines what is being said about the subject.

It is a word or phrase which, when combined with one or more names of objects, turns into a meaningful sentence.

The predicates of simple statements are atomic in predicate logic.

The subject and predicate of a simple statement are referred to as its terms.

Linguistic Interpretation: The Meaning of Is

 * There are two basic types of sentences, namely, assertions of belonging:
 * $x \in A$
 * and assertions of equality:
 * $A = B$

-- Paul Halmos in (1960), $\S 2$: The Axiom of Specification.

Quote

 * It depends on what the meaning of the word 'is' is. -- William 'B.J.' Clinton