existential quantifier (n)
existential operator (n)

n06302755

type n
lex_filenum 10
def a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
Outgoing links
Hypernym quantifier, logical quantifier
Incoming links
Hyponym quantifier, logical quantifier

Back to the index

Click for the XML entry