Hyperonyms
(has_hyperonym)
|
06164665-n:
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
|
Meronyms
(has_mero_part)
|
06165623-n:
a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no')
|
Glosses
(gloss)
|
00007846-n:
a human being
|
Glosses
(gloss)
|
00031921-n:
an abstraction belonging to or characteristic of two entities or parts together
|
Glosses
(gloss)
|
00047534-r:
in addition
|
Glosses
(gloss)
|
00988028-v:
serve as a means of expressing something
|
Glosses
(gloss)
|
06164665-n:
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
|
Glosses
(gloss)
|
06165623-n:
a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no')
|
Glosses
(gloss)
|
06316813-n:
(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
|
Glosses
(gloss)
|
06750804-n:
(logic) a statement that affirms or denies something and is either true or false
|
