A Predicate

1. (grammar) The part of the sentence (or clause) which states something about the subject or the object of the sentence. Predicate (grammar) - Wikipedia
2. (logic) A term of a statement, where the statement may be true or false depending on whether the thing referred to by the values of the statement's variables has the property signified by that (predicative) term.
3. (computing) An operator or function that returns either true or false.