@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:Q3594846 rdfs:label "⊥"@de,
        "up tack"@en,
        "⊥"@fr,
        "垂直記号"@ja ;
    schema1:dateModified "2026-02-05T09:10:07+00:00"^^xsd:dateTime ;
    schema1:description "mathematisches Symbol"@de,
        "mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false)"@en ;
    schema1:version 2460849694 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 4 ;
    wikibase:statements 8 ;
    skos:altLabel "bottom sign"@en,
        "bottom symbol"@en,
        "falsum"@en,
        "⊥"@en,
        "⊥"@ja ;
    p:P1993 wds:Q3594846-0f2a112c-428a-a6b1-11a5-4e88eb53e7f2 ;
    p:P31 wds:Q3594846-3923CA2F-52BC-4A77-AB3F-AE23038C42D1,
        wds:Q3594846-3c36a488-4bf3-0bd0-b02e-b6388b8ff7d2,
        wds:Q3594846-88ce5608-4b58-c83c-6009-c61190ad564f ;
    p:P461 wds:Q3594846-746a91b7-459a-8917-c77c-1d1c3192fa69 ;
    p:P487 wds:q3594846-aabf0165-43dc-5111-723c-85cb0be71d98 ;
    p:P6366 wds:Q3594846-1233B1B0-6AC5-4404-9439-E14DA4E3A0AD ;
    p:P646 wds:Q3594846-68EE1556-4BC9-4955-AD98-CA08A3A180C0 ;
    wdtn:P6366 <https://makg.org/entity/2777737725> ;
    wdt:P1993 "\\bot" ;
    wdt:P31 wd:Q10376408,
        wd:Q2372244,
        wd:Q3241972 ;
    wdt:P461 wd:Q7694166 ;
    wdt:P487 "⊥" ;
    wdt:P6366 "2777737725" ;
    wdt:P646 "/m/09v2d9q" .