@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q773483 rdfs:label "تكميم وجودي"@ar,
        "quantificador existencial"@ca,
        "existenční kvantifikátor"@cs,
        "Пуррилĕх кванторĕ"@cv,
        "Eksistenskvantor"@da,
        "Existenzaussage"@de,
        "existential quantification"@en,
        "ekzista kvantizado"@eo,
        "cuantificador existencial"@es,
        "Olemasolukvantor"@et,
        "zenbatzaile existentzial"@eu,
        "سور وجودی"@fa,
        "Eksistenssikvanttori"@fi,
        "quantification existentielle"@fr,
        "כמת ישי"@he,
        "egzisztenciális kvantifikáció"@hu,
        "Գոյության քվանտոր"@hy,
        "kuantifikasi ekstensial"@id,
        "quantificatore esistenziale"@it,
        "存在量化"@ja,
        "존재 기호"@ko,
        "eksistenciālā kvantifikācija"@lv,
        "eksistensiell kvantifikasjon"@nb,
        "existentie"@nl,
        "eksistensiell kvantifikasjon"@nn,
        "kwantyfikator egzystencjalny"@pl,
        "quantificação existencial"@pt,
        "quantificador existencial"@pt-br,
        "квантор существования"@ru,
        "existenčný kvantifikátor"@sk,
        "eksistenčna kvantifikacija"@sl,
        "existenskvantifikator"@sv,
        "ตัวบ่งปริมาณสำหรับตัวมีจริง"@th,
        "квантор існування"@uk,
        "Lượng từ tồn tại"@vi,
        "存在量化"@yue,
        "存在量化"@zh,
        "存在量化"@zh-hans,
        "存在量化"@zh-hant,
        "存在量化"@zh-tw ;
    schema1:dateModified "2026-11-05T19:05:31+00:00"^^xsd:dateTime ;
    schema1:description "logický kvantifikátor vyjadřující, že daný výrok platí pro alespoň jeden objekt"@cs,
        "logische Quantifizierung, die besagt, dass eine Aussage für mindestens ein Objekt gilt"@de,
        "logical quantification stating that a statement holds for at least one object"@en,
        "indicador en la lógica formal que expresa que existe al menos un elemento con una determinada característica"@es,
        "Bere ondoren datorren proposizioa gutxienez unibertsoko elementu baterako egiazkoa dela adierazteko, logikan erabiltzen den sinboloa. Ikurra ∃ du, eta existitzen da, bada edo badago irakurtzen da"@eu,
        "predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde on totta ainakin yhdelle joukon alkiolle"@fi,
        "opérateur mathématique, signifiant qu'il existe un objet vérifiant une propriété"@fr,
        "jenis kuantifer, konstanta logika yang ditafsirkan sebagai \"ada\", \"setidaknya ada satu\", atau \"untuk beberapa\""@id,
        "un tipo di quantificatore che asserisce l'esistenza"@it,
        "주어진 명제가 적어도 하나의 대상에 대하여 성립함을 나타내는 한정 기호"@ko,
        "loģiska kvantifikācija, kas izsaka, ka apgalvojums ir patiess vismaz vienam objektam"@lv,
        "kwantyfikator opisujący istnienie czegoś"@pl,
        "operador lógico ∃: Símbolo usado para denotar a quantificação existencial em lógica formal"@pt,
        "в предикатной логике — предикат свойства или отношения для по крайней мере одного элемента из области определения"@ru,
        "begrepp inom predikatlogiken"@sv ;
    schema1:version 2565112535 ;
    wikibase:identifiers 9 ;
    wikibase:sitelinks 30 ;
    wikibase:statements 16 ;
    skos:altLabel "∃"@ca,
        "existuje"@cs,
        "malý kvantifikátor"@cs,
        "Existenzquantifizierung"@de,
        "Existenzquantor"@de,
        "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,
        "ekzistokvantigilo"@eo,
        "kuantifikatzaile existentzial"@eu,
        "exist"@fr,
        "exists"@fr,
        "il existe"@fr,
        "il existe au moins un"@fr,
        "pour au moins un"@fr,
        "pour certains"@fr,
        "pour quelques"@fr,
        "pour un ou plus"@fr,
        "∃"@fr,
        "∃"@fur,
        "הכמת הישי"@he,
        "יש"@he,
        "קיים"@he,
        "esiste"@it,
        "esiste almeno un"@it,
        "∃"@it,
        "존재 양화사"@ko,
        "eksistences kvantifikācija"@lv,
        "eksistences kvantors"@lv,
        "eksistenciālais kvantors"@lv,
        "∃"@mul,
        "экзистенциальный квантификатор"@ru,
        "existenčný kvantor"@sk,
        "je"@sl,
        "obstaja"@sl,
        "za enega ali več"@sl,
        "存在是量詞"@zh,
        "存在是量词"@zh-hans ;
    p:P10283 wds:Q773483-E52EC2C6-1FE9-4983-A4CA-785CF12A3263 ;
    p:P12888 wds:Q773483-3F3AAD8A-1C66-4655-A3D8-D8484B2EFBB3 ;
    p:P1343 wds:Q773483-0d3bff94-43b6-a495-fe58-b63f48586179 ;
    p:P18 wds:Q773483-f739f43c-4d0a-70a1-0593-3a2602c95473 ;
    p:P227 wds:Q773483-37d9818a-4351-0e10-0768-3bfdbead2662 ;
    p:P279 wds:Q773483-f5593395-42d5-cc01-a3d5-642a1354d3c9 ;
    p:P366 wds:Q773483-e38a8837-4207-9fb7-deea-4e81362c4706 ;
    p:P4215 wds:Q773483-8792d031-4a50-6ffd-a478-978d2c2ebf67 ;
    p:P461 wds:Q773483-81239c73-4d8e-a217-9ef5-f1fbe675e68f ;
    p:P4746 wds:Q773483-EC49136B-5F20-4CEF-926C-32C1930E6221 ;
    p:P6104 wds:Q773483-09B400BE-AE5B-4070-BE06-FF16A7FC709F ;
    p:P6366 wds:Q773483-E8317F9F-53E9-4BDC-B877-1357BECB6F4A ;
    p:P646 wds:Q773483-80C192EA-C56F-427B-BAFD-43FA7D9F7FEF ;
    p:P7276 wds:Q773483-117776f3-4e46-7c3d-4b02-56441320265f ;
    p:P913 wds:Q773483-de8c9431-4a29-0c41-f44e-1ef27033843f ;
    p:P9621 wds:Q773483-c9de66f0-4377-07f3-88cb-097a9f6d88f4 ;
    wdtn:P227 <https://d-nb.info/gnd/4153313-6> ;
    wdtn:P6366 <https://makg.org/entity/136979486> ;
    wdt:P10283 "C136979486" ;
    wdt:P12888 "df-ex" ;
    wdt:P1343 wd:Q109490582 ;
    wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Existential%20quantifier.svg> ;
    wdt:P227 "4153313-6" ;
    wdt:P279 wd:Q592911 ;
    wdt:P366 wd:Q36809769 ;
    wdt:P4215 "existential quantifier" ;
    wdt:P461 wd:Q126695 ;
    wdt:P4746 "133648" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "136979486" ;
    wdt:P646 "/m/0mpxq" ;
    wdt:P7276 "EXISTENČNÍ KVANTIFIKÁTOR" ;
    wdt:P913 wd:Q5460020 ;
    wdt:P9621 "quantificatore-esistenziale" .