BabelNet

bn:00064109n

Noun Concept

Categories: Propositional calculus, Articles with short description, Mathematical logic, Basic concepts in set theory, Predicate logic

predicate Boolean predicates logical predicate Predication

(logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula WordNet 3.0

Definitions

Examples

Relations

Sources

(logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula WordNet 3.0 & Open English WordNet

In logic, a predicate is a symbol which represents a property or a relation. Wikipedia

A fundamental concept in first-order logic Wikipedia Disambiguation

Concept of mathematical logic Wikidata

An operator or function that returns either true or false. Wiktionary

(computing) an operator or function that returns either true or false. Wiktionary (translation)

`Socrates is a man' predicates manhood of Socrates WordNet 3.0 & Open English WordNet

IS A

HAS PART

HAS KIND