@prefix concept: <https://w3id.org/kmath/concept/> .
@prefix course: <https://w3id.org/kmath/course/> .
@prefix math: <https://w3id.org/kmath/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix review_status: <https://w3id.org/kmath/review_status/> .
@prefix scheme: <https://w3id.org/kmath/scheme/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix textbook_section: <https://w3id.org/kmath/textbook_section/> .

concept:real_exponent a math:Concept ;
    rdfs:label "실수인 지수"@ko ;
    skos:altLabel "실수 지수"@ko ;
    skos:broader concept:exponent ;
    skos:definition "a > 0이고 x가 무리수일 때, x에 한없이 가까워지는 유리수 r에 대하여 a^r이 한없이 가까워지는 값을 a^x로 정의한 거듭제곱이다. 밑이 양수이면 실수인 지수에 대해서도 지수법칙이 성립한다."@ko ;
    skos:editorialNote "2026-09-28 GRIP 대수 개념서와 시발점 워크북 대수가 독립된 학습 항목으로 다루는 것을 근거로 추가했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:inScheme scheme:concepts ;
    skos:prefLabel "real exponent"@en,
        "실수인 지수"@ko ;
    math:introducedIn course:algebra ;
    math:requires concept:irrational_number,
        concept:rational_exponent ;
    math:requiresTransitively concept:exponent_law,
        concept:integer,
        concept:integer_exponent,
        concept:irrational_number,
        concept:nth_root,
        concept:nth_root_properties,
        concept:power,
        concept:rational_exponent,
        concept:rational_number,
        concept:real_nth_root,
        concept:repeating_decimal,
        concept:square_root ;
    math:reviewStatus review_status:needs_review ;
    math:sourceSection textbook_section:grip_algebra_01_04_exponent_extension,
        textbook_section:sibaljeom_workbook_algebra_theme02_exponent_extension ;
    math:taughtIn course:algebra .