@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:Q4129836 rdfs:label "Top-Typ"@de,
        "top type"@en,
        "トップ型"@ja,
        "탑형"@ko,
        "topptype"@nb,
        "высший тип"@ru,
        "верхній тип"@uk ;
    schema1:dateModified "2025-10-09T19:10:08+00:00"^^xsd:dateTime ;
    schema1:description "Objekt der Typentheorie"@de,
        "the universal type, sometimes called the universal supertype as all other types in any given type system are subtypes of top; the type which contains every possible object in the type system of interest"@en,
        "다른 모든 유형을 아우르는 자료형"@ko,
        "универсальный тип; тип, содержащий в себе каждый возможный объект в нужной системе типов"@ru ;
    schema1:version 2414399406 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 3 ;
    wikibase:statements 5 ;
    skos:altLabel "top"@en,
        "вершина"@ru,
        "⊤"@ru ;
    p:P2579 wds:Q4129836-bcdbb803-4c7d-c119-9be1-d71937cb257d ;
    p:P279 wds:Q4129836-75a4a3a0-4637-7fdc-1d4e-584ab804ddd9 ;
    p:P461 wds:Q4129836-823707a2-4100-7440-e170-d642bfa8b4c1 ;
    p:P6366 wds:Q4129836-5E329602-B2A5-4E61-8D4A-5044C7C5A8E0 ;
    p:P646 wds:Q4129836-8BC4BD56-E081-43B3-AD94-A0FE269163A4 ;
    wdtn:P6366 <https://makg.org/entity/2779357368> ;
    wdt:P2579 wd:Q1056428 ;
    wdt:P279 wd:Q190087 ;
    wdt:P461 wd:Q3546108 ;
    wdt:P6366 "2779357368" ;
    wdt:P646 "/m/0b5h53" .