n06302542
type | n |
lex_filenum | 10 |
def | (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition |
Outgoing links | |
Hypernym | word |
Domain of synset - TOPIC | logic |
Hyponym | existential quantifier, existential operator |
Incoming links | |
Member of this domain - TOPIC | logic |
Hyponym | word |
Hypernym | existential quantifier, existential operator |
Click for the XML entry