existential quantification

logical quantification stating that a statement holds for at least one object
rdfs:label
"existential quantification"@en
skos:altLabel
"exist"@en
"existential"@en
"existential quantifier"@en
"exists"@en
"for one or more"@en
"for some"@en
"there exists"@en
"there exists at least one"@en
"there exists one or more"@en
"∃"@en
schema:description
"logical quantification stating that a statement holds for at least one object"@en
schema:dateModified "2026-11-05T19:05:31+00:00"^^xsd:dateTime
schema:version 2565112535
wikibase:identifiers 9
wikibase:sitelinks 30
wikibase:statements 16
p:P10283 wd:statement/Q773483-E52EC2C6-1FE9-4983-A4CA-785CF12A3263
p:P12888 wd:statement/Q773483-3F3AAD8A-1C66-4655-A3D8-D8484B2EFBB3
p:P1343 wd:statement/Q773483-0d3bff94-43b6-a495-fe58-b63f48586179
p:P18 wd:statement/Q773483-f739f43c-4d0a-70a1-0593-3a2602c95473
p:P227 wd:statement/Q773483-37d9818a-4351-0e10-0768-3bfdbead2662
p:P279 wd:statement/Q773483-f5593395-42d5-cc01-a3d5-642a1354d3c9
p:P366 wd:statement/Q773483-e38a8837-4207-9fb7-deea-4e81362c4706
p:P4215 wd:statement/Q773483-8792d031-4a50-6ffd-a478-978d2c2ebf67
p:P461 wd:statement/Q773483-81239c73-4d8e-a217-9ef5-f1fbe675e68f
p:P4746 wd:statement/Q773483-EC49136B-5F20-4CEF-926C-32C1930E6221
p:P6104 wd:statement/Q773483-09B400BE-AE5B-4070-BE06-FF16A7FC709F
p:P6366 wd:statement/Q773483-E8317F9F-53E9-4BDC-B877-1357BECB6F4A
p:P646 wd:statement/Q773483-80C192EA-C56F-427B-BAFD-43FA7D9F7FEF
p:P7276 wd:statement/Q773483-117776f3-4e46-7c3d-4b02-56441320265f
p:P913 wd:statement/Q773483-de8c9431-4a29-0c41-f44e-1ef27033843f
p:P9621 wd:statement/Q773483-c9de66f0-4377-07f3-88cb-097a9f6d88f4
p:direct-normalized/P227 <https://d-nb.info/gnd/4153313-6>
p:direct-normalized/P6366 <https://makg.org/entity/136979486>
wdt:P10283 "C136979486"
wdt:P12888 "df-ex"
wdt:P1343 ISO 80000-2:2019 Quantities and units — Part 2: Mathematics
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Existential%20quantifier.svg>
wdt:P227 "4153313-6"
wdt:P279 quantifier
wdt:P366 member of a group
wdt:P4215 "existential quantifier"
wdt:P461 universal quantification
wdt:P4746 "133648"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "136979486"
wdt:P646 "/m/0mpxq"
wdt:P7276 "EXISTENČNÍ KVANTIFIKÁTOR"
wdt:P913 \exists
wdt:P9621 "quantificatore-esistenziale"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata