Predicate

In mathematics and statistics, a predicate is either a relation or the boolean-valued function that amounts to the characteristic function or the indicator function of such a relation.

In grammar a predicate is one of the two constituent parts of a sentence. It is the rest of the sentence apart from the subject. For instance, in the sentence "All good things come to an end" the "come to an end" is the predicate, whereas the subject is "all good things."

In computer programming, a predicate is an operator or function which returns a Boolean value, true or false, and predication is a choice to execute or not to execute a given instruction based on the content of a machine register.
In Resource Description Framework (RDF), a predicate is a trait or aspect about that resource that is being described.
In Bertrand Russell's theory of types, a predication is an act of typing, that is, assigning a type. A definite description in fact contains a claim of existence.