en existential quantifier

An English term in ConceptNet 5.8

Sources: OpenCyc 2012, English Wiktionary, French Wiktionary, and Open Multilingual WordNet
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

Synonyms

  • en existential operator (n, communication) ➜
  • fi eksistenssikvanttori (n, communication) ➜
  • fi eksistentiaalinen kvanttori (n, communication) ➜
  • fr quantificateur existentiel (n, communication) ➜
  • ja 存在記号 (n, communication) ➜
  • cs existenční kvantifikátor ➜
  • fi eksistenssikvanttori ➜
  • fi olemassaolokvanttori ➜
  • fr quantificateur existentiel ➜
  • hu egzisztenciális kvantor ➜
  • is tilvistarmagnari ➜
  • is tilvistarvirki ➜
  • ru квантор существования ➜
  • fr quantificateur existentiel (n) ➜

Related terms

  • cs existenční kvantifikátor (n) ➜
  • en arithmetical hierarchy (n) ➜
  • en member ➜
  • en operator ➜
  • en predicate ➜
  • en predicate calculus ➜
  • en set ➜
  • en universal quantifier ➜
  • fr quantificateur existentiel ➜
  • en herbrandization (n) ➜
  • en quantifier (n) ➜
  • en singular existential statement (n) ➜
  • en skolem function (n) ➜
  • en skolemization (n) ➜
  • en universal quantifier ➜
  • fi eksistenssikvanttori (n) ➜
  • fr quantificateur existentiel (n) ➜
  • mul σ ➜

existential quantifier is a type of…

  • en quantifier (n, logic) ➜
  • en quantifier (n) ➜

Derived from

  • en existential (a) ➜
  • en quantifier (n) ➜

existential quantifier is part of…

  • en predicate calculus (n) ➜
  • en predicate calculus ➜

Word forms

  • en existential quantifiers (n) ➜

Types of existential quantifier

  • en existential quantifier bounded (n) ➜

Context of this term

  • en logic ➜

Links to other resources

  • sw.opencyc.org /2012/05/10/concept/en/ExistentialQuantifier
  • wordnet-rdf.princeton.edu 106313745-n
  • en.wiktionary.org existential quantifier
  • fr.wiktionary.org existential quantifier
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.