See ∀ in All languages combined, or Wiktionary
Download JSON data for ∀ meaning in Translingual (1.5kB)
{
"etymology_templates": [
{
"args": {
"1": "mul",
"2": "A"
},
"expansion": "A",
"name": "m"
},
{
"args": {
"1": "mul",
"2": "∃"
},
"expansion": "∃",
"name": "m"
}
],
"etymology_text": "Introduced by Gerhard Gentzen who based it on the Latin letter A, by analogy with ∃.",
"head_templates": [
{
"args": {
"1": "mul",
"2": "symbol"
},
"expansion": "∀",
"name": "head"
}
],
"lang": "Translingual",
"lang_code": "mul",
"pos": "symbol",
"senses": [
{
"categories": [
{
"kind": "topical",
"langcode": "mul",
"name": "Logic",
"orig": "mul:Logic",
"parents": [
"Formal sciences",
"Philosophy",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "mul",
"name": "Mathematics",
"orig": "mul:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"glosses": [
"The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning “for all”."
],
"id": "∀-mul-symbol-TcQEUydR",
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"predicate calculus",
"predicate calculus"
],
[
"universal quantifier",
"universal quantifier"
]
],
"raw_glosses": [
"(mathematics, logic) The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning “for all”."
],
"related": [
{
"word": "∃"
},
{
"word": "da"
},
{
"word": "de"
},
{
"word": "di"
},
{
"word": "ro"
},
{
"tags": [
"Lojban"
],
"word": "zo'u"
}
],
"synonyms": [
{
"word": "⋀"
}
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
]
}
],
"word": "∀"
}
{
"etymology_templates": [
{
"args": {
"1": "mul",
"2": "A"
},
"expansion": "A",
"name": "m"
},
{
"args": {
"1": "mul",
"2": "∃"
},
"expansion": "∃",
"name": "m"
}
],
"etymology_text": "Introduced by Gerhard Gentzen who based it on the Latin letter A, by analogy with ∃.",
"head_templates": [
{
"args": {
"1": "mul",
"2": "symbol"
},
"expansion": "∀",
"name": "head"
}
],
"lang": "Translingual",
"lang_code": "mul",
"pos": "symbol",
"related": [
{
"word": "∃"
},
{
"word": "da"
},
{
"word": "de"
},
{
"word": "di"
},
{
"word": "ro"
},
{
"tags": [
"Lojban"
],
"word": "zo'u"
}
],
"senses": [
{
"categories": [
"Translingual lemmas",
"Translingual symbols",
"mul:Logic",
"mul:Mathematics"
],
"glosses": [
"The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning “for all”."
],
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"predicate calculus",
"predicate calculus"
],
[
"universal quantifier",
"universal quantifier"
]
],
"raw_glosses": [
"(mathematics, logic) The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning “for all”."
],
"synonyms": [
{
"word": "⋀"
}
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
]
}
],
"word": "∀"
}
This page is a part of the kaikki.org machine-readable Translingual dictionary. This dictionary is based on structured data extracted on 2023-09-28 from the enwiktionary dump dated 2023-09-20 using wiktextract (3a5822b and 3ce51e7).
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.
The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.