Predicate

From Wikipedia, the free encyclopedia

Predicate or predication may refer to:

Mathematics and statistics

• a predicate (mathematics) is either a relation or the boolean-valued function that amounts to the characteristic function or the indicator function of such a relation.

Logic

• a predicate (logic) is a fundamental concept in first-order logic.

Grammar

• a predicate (grammar) is one of the two immediate constituents 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." Strictly speaking, the simple subject is "things" and "come" is the verb; the other words modify the key terms and comprise elements of the subjective phrase and the predicate phrase.

Computer programming

• a predicate (computer programming) 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.

Geographic Information

• a predicate (geographic information) is similar to a computer programming predicate, in that it is an operator or function which returns a boolean value, but in this case based on spatial relationships such as within, contains, intersects, touches or overlaps.

Resource Description Framework (RDF)

• a predicate (RDF) is a trait or aspect about that resource that is being described.

Type theory

• In Bertrand Russell's theory of types, a predication (type theory) is an act of typing, that is, assigning a type. A definite description in fact contains a claim of existence.