n06165623
type | n |
lex_filenum | 09 |
def | a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no') |
Outgoing links | |
Hypernym | restriction, limitation |
Part holonym | predicate calculus, functional calculus |
Derivationally related form | quantification → quantify |
Incoming links | |
Hyponym | restriction, limitation |
Part meronym | predicate calculus, functional calculus |
Derivationally related form | quantify → quantification |
Click for the XML entry