Hyperonyms
(has_hyperonym)
|
06751974-n:
one of the substantive phrases in a logical proposition
|
Related
(related_to)
|
01017222-v:
make the (grammatical) predicate in a proposition
|
Domain
(category)
|
06163751-n:
the branch of philosophy that analyzes inference
|
Glosses
(gloss)
|
06472824-n:
an equating verb (such as `be' or `become') that links the subject with the complement of a sentence
|
Glosses
(gloss)
|
06599788-n:
the subject matter of a conversation or discussion
|
Glosses
(gloss)
|
06750804-n:
(logic) a statement that affirms or denies something and is either true or false
|
Glosses
(rgloss)
|
06165364-n:
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
|
