@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:rolle_theorem a math:Concept ;
    rdfs:label "롤의 정리"@ko ;
    skos:definition "함수 f(x)가 닫힌구간 [a, b]에서 연속이고 열린구간 (a, b)에서 미분가능하며 f(a) = f(b)이면, f′(c) = 0인 c가 열린구간 (a, b)에 적어도 하나 존재한다는 정리이다."@ko ;
    skos:editorialNote "2026-09-28 개념 모델 정비에서 2022 개정 교육과정 성취기준을 근거로 추가했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:exactMatch <http://www.wikidata.org/entity/Q193286> ;
    skos:inScheme scheme:concepts ;
    skos:prefLabel "Rolle's theorem"@en,
        "롤의 정리"@ko ;
    skos:topConceptOf scheme:concepts ;
    math:introducedIn course:calculus_1 ;
    math:requires concept:differentiability,
        concept:extreme_value_theorem ;
    math:requiresTransitively concept:average_rate_of_change,
        concept:coordinate_plane,
        concept:differentiability,
        concept:differential_coefficient,
        concept:direct_proportion,
        concept:extreme_value_theorem,
        concept:function,
        concept:function_continuity,
        concept:function_graph,
        concept:function_limit,
        concept:graph,
        concept:integer,
        concept:inverse_proportion,
        concept:linear_function,
        concept:rational_number ;
    math:reviewStatus review_status:needs_review ;
    math:sourceSection textbook_section:national_curriculum_2022_calculus_1_differentiation ;
    math:taughtIn course:calculus_1 .