@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-7009 a edu:Knobit ;
    rdfs:label "Tõestab jaguvusseose põhiomaduse"@et ;
    dcterms:identifier "K12-7009" ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    dcterms:source "GRÕK lisa 8, arvuteooria elemendid I, õpitulemus 2"@et ;
    skos:definition "Tõestab jaguvuse definitsiooni põhjal ühe põhiomaduse (nt transitiivsus, summa jaguvus); ei hõlma jaguvusülesannete lahendamist omaduste abil."@et ;
    skos:prefLabel "Tõestab jaguvusseose põhiomaduse"@et ;
    edu:actionVerb "Tõestab"@et ;
    edu:appliesKnowledge knobit:K12-7007,
        knobit:K12-7008 ;
    edu:assessmentCriterion "Tõestus lähtub jaguvuse definitsioonist, on loogiliselt täielik ja iga samm on põhjendatud"@et ;
    edu:assessmentMethod "Lühivastusega ülesanne"@et ;
    edu:contextFunction <https://knobit.org/def/contextFunction/actionExecution> ;
    edu:creationMethod <https://knobit.org/def/creationMethod/aiGenerated> ;
    edu:expectedResult "Definitsioonist lähtuv põhjendatud tõestus"@et ;
    edu:graphRelevance <https://knobit.org/def/graphRelevance/learnerState>,
        <https://knobit.org/def/graphRelevance/learningPath>,
        <https://knobit.org/def/graphRelevance/outcomeContent>,
        <https://knobit.org/def/graphRelevance/taskSelection> ;
    edu:knobitType <https://knobit.org/def/knobitType/skill> ;
    edu:targetObject "jaguvusseose omaduse tõestus"@et ;
    schema:creativeWorkStatus "accepted" ;
    schema:isPartOf register:K12-SCOPE-1,
        register:K12-SCOPE-7000 .

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

knobit:K12-7007 rdfs:label "Defineerib täisarvude jaguvuse"@et .

knobit:K12-7008 rdfs:label "Sõnastab jaguvusseose põhiomadused"@et .