@prefix koko: <http://www.yso.fi/onto/koko/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix yso: <http://www.yso.fi/onto/yso/> .
@prefix ysa: <http://www.yso.fi/onto/ysa/> .

koko:p11098
  skos:prefLabel "theory of proof"@en, "todistusteoria"@fi, "bevisteori"@sv ;
  a skos:Concept ;
  skos:broader koko:p17306 .

koko:p7462
  skos:prefLabel "dialectics"@en, "dialektiikka"@fi, "dialektik"@sv ;
  a skos:Concept ;
  skos:broader koko:p17306 .

koko:p13383
  skos:prefLabel "deduktion"@sv, "deduktio"@fi ;
  a skos:Concept ;
  skos:related koko:p17306 .

koko:p1417
  skos:prefLabel "predicate logic"@en, "predikaattilogiikka"@fi, "predikatlogik"@sv ;
  a skos:Concept ;
  skos:broader koko:p17306 .

koko:p15842
  skos:prefLabel "sentence logic"@en, "lauselogiikka"@fi, "satslogik"@sv ;
  a skos:Concept ;
  skos:broader koko:p17306 .

koko:p17004
  skos:prefLabel "käsitteellinen tiede"@fi ;
  a skos:Concept ;
  skos:narrower koko:p17306 .

koko:p13108
  skos:prefLabel "induktio -- filosofia"@fi, "induktion  -- filosofi"@sv ;
  a skos:Concept ;
  skos:related koko:p17306 .

yso:conceptscheme
  skos:prefLabel "http://www.yso.fi/onto/yso" ;
  a skos:ConceptScheme .

koko:p8414
  skos:prefLabel "mathematical logic"@en, "matemaattinen logiikka"@fi, "matematisk logik"@sv ;
  a skos:Concept ;
  skos:broader koko:p17306 .

koko:p9438
  skos:prefLabel "sumea logiikka"@fi, "fuzzy logic"@en, "oskarp logik"@sv ;
  a skos:Concept ;
  skos:broader koko:p17306 .

koko:p17601
  skos:prefLabel "slutledning"@sv, "deduction"@en, "päättely"@fi ;
  a skos:Concept ;
  skos:related koko:p17306 .

koko:p5159
  skos:prefLabel "intensionaalinen logiikka"@fi, "intensional logik"@sv, "intentional logic"@en ;
  a skos:Concept ;
  skos:broader koko:p17306 .

koko:p18248
  skos:prefLabel "model theory"@en, "malliteoria"@fi, "modellteori"@sv ;
  a skos:Concept ;
  skos:broader koko:p17306 .

koko:p11700
  skos:prefLabel "formal logic"@en, "formaalinen logiikka"@fi, "formell logik"@sv ;
  a skos:Concept ;
  skos:broader koko:p17306 .

koko:p17306
  skos:broader koko:p17004 ;
  a skos:Concept ;
  skos:prefLabel "logic"@en, "logiikka"@fi, "logik"@sv ;
  skos:related koko:p13383, koko:p17601, koko:p13108 ;
  skos:narrower koko:p18248, koko:p11700, koko:p7462, koko:p8414, koko:p11098, koko:p9438, koko:p1417, koko:p5159, koko:p15842 ;
  skos:exactMatch yso:p456 ;
  skos:inScheme yso:conceptscheme ;
  skos:closeMatch ysa:Y2873 .