Search Result for "existential_operator":
Wordnet 3.0

NOUN (1)

1. a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true;
[syn: existential quantifier, existential operator]



WordNet (r) 3.0 (2006):

existential operator
    n 1: a logical quantifier of a proposition that asserts the
         existence of at least one thing for which the proposition
         is true [syn: existential quantifier, existential
         operator]