@prefix p: <http://www.wikidata.org/prop/> .
@prefix pq: <http://www.wikidata.org/prop/qualifier/> .
@prefix pqv: <http://www.wikidata.org/prop/qualifier/value/> .
@prefix pr: <http://www.wikidata.org/prop/reference/> .
@prefix prv: <http://www.wikidata.org/prop/reference/value/> .
@prefix ps: <http://www.wikidata.org/prop/statement/> .
@prefix psv: <http://www.wikidata.org/prop/statement/value/> .
@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 wdno: <http://www.wikidata.org/prop/novalue/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:P7719 a wikibase:Property ;
    rdfs:label "تعميم لـ"@ar,
        "вынікае з"@be-tarask,
        "implica"@ca,
        "zobecnění (čeho)"@cs,
        "Verallgemeinerung von"@de,
        "generalization of"@en,
        "generalisation of"@en-gb,
        "ĝeneraligo de"@eo,
        "implica"@es,
        "emprica"@ext,
        "yleistys kohteesta"@fi,
        "généralisation de"@fr,
        "implica"@gl,
        "הכללה של"@he,
        "általánosítása ennek"@hu,
        "generalizzazione di"@it,
        "以下の一般化"@ja,
        "다음의 일반화"@ko,
        "vispārinājums no"@lv,
        "следство"@mk,
        "penyeluruhan bagi"@ms,
        "ڤڽلوروهن باݢي"@ms-arab,
        "impliserer"@nb,
        "impliceert"@nl,
        "implica"@pt,
        "implica"@pt-br,
        "влечёт за собой"@ru,
        "posplošitev"@sl,
        "упућује"@sr,
        "implicerar"@sv,
        "ima eder"@tr,
        "випливає з"@uk,
        "zenerałizasion de"@vec,
        "推出"@zh ;
    schema1:dateModified "2026-10-19T20:38:17+00:00"^^xsd:dateTime ;
    schema1:description "teorie/pojem/věta/algoritmus, jejímž zobecněním je tato teorie/pojem/věta/algoritmus"@cs,
        "Theorie/Aussage/Algorithmus, der diese Theorie/diese Aussage/diesen Algorithmus in verallgemeinert"@de,
        "theory/notion/statement/algorithm which in some sense this theory/notion/statement/algorithm generalizes"@en,
        "teorio, koncepto, aserto aŭ algoritmo, kiun ĝeneraligas ĉi tiu teorio, koncepto, aserto aŭ algoritmo"@eo,
        "l'énoncé du sujet un cas particulier de cet énoncé objet, ou la véracité de cet énoncé objet est impliquée par celle de l'énoncé du sujet"@fr,
        "主語の命題が特殊な場合に目的語の命題を与える、つまり主語の命題が真ならば目的語の命題は真である"@ja,
        "이 이론/개념/명제/알고리즘을 어떤 의미에서 일반화하는 이론/개념/명제/알고리즘"@ko,
        "teorija, jēdziens, apgalvojums, funkcija vai algoritms, kuru dotais objekts vispārina"@lv,
        "verklaring waarvan de waarheid wordt geïmpliceerd door deze verklaring"@nl,
        "bu ifade ile doğruluğu ima edilen ifade"@tr,
        "правдивість елемента випливає з цього твердження"@uk,
        "主體命題尤其可以推出客體命題，即客體是主體的推論或特例"@zh ;
    schema1:version 2558916064 ;
    wikibase:claim p:P7719 ;
    wikibase:directClaim wdt:P7719 ;
    wikibase:novalue wdno:P7719 ;
    wikibase:propertyType wikibase:WikibaseItem ;
    wikibase:qualifier pq:P7719 ;
    wikibase:qualifierValue pqv:P7719 ;
    wikibase:reference pr:P7719 ;
    wikibase:referenceValue prv:P7719 ;
    wikibase:statementProperty ps:P7719 ;
    wikibase:statementValue psv:P7719 ;
    wikibase:statements 22 ;
    skos:altLabel "القضية الشرطية"@ar,
        "قضية شرطية"@ar,
        "يدل على"@ar,
        "يعني"@ar,
        "абагульняе"@be-tarask,
        "důsledek"@cs,
        "rozšíření (čeho)"@cs,
        "speciální případ"@cs,
        "zobecňuje"@cs,
        "Fortsetzung"@de,
        "impliziert"@de,
        "analytic continuation of"@en,
        "extends"@en,
        "extension of"@en,
        "generalisation of"@en,
        "generalises"@en,
        "generalizes"@en,
        "has conclusion"@en,
        "has special case"@en,
        "implies"@en,
        "so"@en,
        "therefore"@en,
        "implicas"@eo,
        "implikaatio kohteesta"@fi,
        "a pour conclusion"@fr,
        "donc"@fr,
        "généralise"@fr,
        "implique"@fr,
        "se conclut par"@fr,
        "גורר את"@he,
        "fogalom, amelyet általánosít"@hu,
        "fogalom, amit általánosít"@hu,
        "fogalom, melyet általánosít"@hu,
        "implica"@it,
        "一般化"@ja,
        "内含"@ja,
        "包含"@ja,
        "含意"@ja,
        "다음의 일반화임"@ko,
        "일반화하기 전 것"@ko,
        "vispārina no"@lv,
        "vispārināšana no"@lv,
        "выливается в"@ru,
        "имеет следствием"@ru,
        "имплицирует"@ru,
        "следует"@ru,
        "имплицира"@sr,
        "спирається на"@uk,
        "推導出"@zh,
        "推廣了"@zh,
        "推論"@zh,
        "有特例"@zh,
        "系"@zh ;
    p:P1629 wds:P7719-6b11c7c9-4666-68df-78f9-a3ca2f64a544,
        wds:P7719-8434aa5e-4e2a-fa34-117a-8bdddf813489,
        wds:P7719-F9CDAADB-B179-4371-9C8A-EA9AD5EA7AC5 ;
    p:P1855 wds:P7719-2e53083b-42f6-0577-c64e-5a25754e6cdc,
        wds:P7719-7ccbc803-4cb8-c418-b779-55bad62280ab,
        wds:P7719-A286CB63-847C-463E-8EF7-D46213886BA4,
        wds:P7719-A8D7940B-C0B6-4B48-8A50-D17C49B43AF9,
        wds:P7719-D1121BD0-4940-44FC-8C04-10DABD49C19F,
        wds:P7719-aa8b7f62-47c8-572d-b0cc-f593cf3fc6c6,
        wds:P7719-c23a74c2-4d65-db9c-81ed-a45c93038514,
        wds:P7719-caaadbde-4195-39fc-2851-2803ba51f745 ;
    p:P2302 wds:P7719-0e7d121c-412f-3338-fa00-679813d6f9ad,
        wds:P7719-3cdd76bd-4ed2-0bfe-0e94-d3df1a6f3e85,
        wds:P7719-42a9c98a-4bf3-3647-ed8c-4111eaf50298,
        wds:P7719-4f89875d-4d84-07fe-b726-c7ee1a1931df,
        wds:P7719-77c66d6e-443e-87b4-7120-6998f103784e ;
    p:P2559 wds:P7719-8c8e75a3-4228-41e1-cae0-f8906d110a84,
        wds:P7719-8deec5d3-4375-22fa-0319-353e4f5c9447 ;
    p:P2875 wds:P7719-C5C45C0A-BF1A-4E91-A15A-4C7560B814FB ;
    p:P31 wds:P7719-A7D0CE67-710A-4C29-91E5-36815BC0623C ;
    p:P3254 wds:P7719-98B478ED-A71B-4C82-ABE0-43186CE607D9 ;
    p:P7087 wds:P7719-0e7d6210-4ee6-100d-a5bf-bbafc0138e19 ;
    wdt:P1629 wd:Q170084 ;
    wdt:P1855 wd:Q140770,
        wd:Q164321,
        wd:Q190573,
        wd:Q241015,
        wd:Q5532452,
        wd:Q5610719,
        wd:Q7687975,
        wd:Q829242 ;
    wdt:P2302 wd:Q21503250,
        wd:Q21510865,
        wd:Q52004125,
        wd:Q53869507,
        wd:Q54554025 ;
    wdt:P2559 "Do NOT use this as an inverse property to \"subclass of\" (P279), e.g. don't add a statement like \"hyperplane generalizes plane\"."@en,
        "This has nothing to do with logical implication; for example, every statement implies a true statement and is implied by a false statement."@en ;
    wdt:P2875 wd:Q126375352 ;
    wdt:P31 wd:Q22988631 ;
    wdt:P3254 <https://www.wikidata.org/wiki/Wikidata:Property_proposal/implies> ;
    wdt:P7087 wd:Q99419468 .