BabelNet

bn:00064109n

Noun Concept

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

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 that 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