@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix edu: <https://knobit.org/def/> .
@prefix knobit: <https://knobit.org/id/knobit/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix register: <https://knobit.org/id/register/> .
@prefix schema: <https://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

knobit:K12-8013 a edu:Knobit ;
    rdfs:label "Selgitab aksioomi, teoreemi ja tõestuse omavahelist seost"@et ;
    dcterms:identifier "K12-8013" ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    dcterms:source "GRÕK lisa 8, valikkursus „Loogika“, õppe-eesmärk 3"@et ;
    skos:definition "Selgitab matemaatilise teooria ülesehitust: aksioomid, neist tõestatud teoreemid ja tõestus kui järelduste ahel."@et ;
    skos:prefLabel "Selgitab aksioomi, teoreemi ja tõestuse omavahelist seost"@et ;
    edu:actionVerb "Selgitab"@et ;
    edu:assessmentCriterion "Eristab aksioomi teoreemist ja nimetab, millele tõestus tugineb"@et ;
    edu:assessmentMethod "Valikvastustega küsimus"@et ;
    edu:contextFunction <https://knobit.org/def/contextFunction/objectUnderstanding> ;
    edu:creationMethod <https://knobit.org/def/creationMethod/aiGenerated> ;
    edu:dependsOnKnobit knobit:K12-8012 ;
    edu:expectedResult "Selgitus, et teoreem tõestatakse aksioomide ja varem tõestatud teoreemide põhjal"@et ;
    edu:graphRelevance <https://knobit.org/def/graphRelevance/learnerState>,
        <https://knobit.org/def/graphRelevance/learningPath> ;
    edu:knobitType <https://knobit.org/def/knobitType/knowledge> ;
    edu:targetObject "aksioomi, teoreemi ja tõestuse seos"@et ;
    schema:creativeWorkStatus "accepted" ;
    schema:isPartOf register:K12-SCOPE-1,
        register:K12-SCOPE-8000 .

edu:Knobit rdfs:label "Knobit"@en,
        "Knobit"@et .

knobit:K12-8012 rdfs:label "Selgitab tõestamise vajalikkust matemaatikas"@et .