@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:fundamental_theorem_of_calculus a math:Concept ;
    rdfs:label "미적분의 기본정리"@ko ;
    skos:altLabel "부정적분과 정적분의 관계"@ko ;
    skos:definition "연속함수 f(x)의 한 부정적분을 F(x)라고 할 때 ∫ₐᵇ f(x)dx = F(b) − F(a)가 성립한다는 정리로, 부정적분과 정적분의 관계를 나타낸다."@ko ;
    skos:editorialNote "2026-09-28 개념 모델 정비에서 2022 개정 교육과정 성취기준을 근거로 추가했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:exactMatch <http://www.wikidata.org/entity/Q1217677> ;
    skos:inScheme scheme:concepts ;
    skos:prefLabel "fundamental theorem of calculus"@en,
        "미적분의 기본정리"@ko ;
    skos:topConceptOf scheme:concepts ;
    math:introducedIn course:calculus_1 ;
    math:requires concept:definite_integral,
        concept:indefinite_integral ;
    math:requiresTransitively concept:average_rate_of_change,
        concept:coordinate_plane,
        concept:definite_integral,
        concept:derivative,
        concept:differential_coefficient,
        concept:direct_proportion,
        concept:function,
        concept:function_continuity,
        concept:function_graph,
        concept:function_limit,
        concept:graph,
        concept:indefinite_integral,
        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_integration ;
    math:taughtIn course:calculus_1 .