quantifier#1 (n)
logical quantifier (n)

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

Back to the index

Click for the XML entry