BabelNet

bn:00064109n

Noun Concept

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

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