@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:sum_of_powers_of_naturals a math:Concept ;
    rdfs:label "자연수의 거듭제곱의 합"@ko ;
    skos:broader concept:sequence_sum ;
    skos:definition "Σk = n(n + 1)/2, Σk² = n(n + 1)(2n + 1)/6, Σk³ = {n(n + 1)/2}²처럼 1부터 n까지 자연수의 거듭제곱의 합을 나타내는 공식이다."@ko ;
    skos:editorialNote "2026-09-28 개념 모델 정비에서 2022 개정 교육과정 성취기준을 근거로 추가했다. 도메인 전문가 검토가 필요하다."@ko,
        "2026-09-28 대수 온톨로지 정비: 직접 선수 개념을 새로 나눈 세부 개념(concept:sigma_properties)으로 바꿨다. 도메인 전문가 검토가 필요하다."@ko,
        "2026-09-28 운영 DB의 concept_edges(전문가 작성 선수 관계)와 대조해 빠진 선수 관계를 보완했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:inScheme scheme:concepts ;
    skos:prefLabel "sums of powers of natural numbers"@en,
        "자연수의 거듭제곱의 합"@ko ;
    math:introducedIn course:algebra ;
    math:requires concept:arithmetic_sequence_sum,
        concept:sigma_properties ;
    math:requiresTransitively concept:arithmetic_sequence,
        concept:arithmetic_sequence_sum,
        concept:sequence,
        concept:sequence_sum,
        concept:sigma_notation,
        concept:sigma_properties ;
    math:reviewStatus review_status:needs_review ;
    math:sourceSection textbook_section:grip_algebra_09_04_sum_of_powers,
        textbook_section:national_curriculum_2022_algebra_sequences,
        textbook_section:sibaljeom_workbook_algebra_theme32_sigma_notation ;
    math:taughtIn course:algebra .