Definition:Predicate

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

The predicates of a simple statements are atomic in predicate logic.

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