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

ysa:ysa_juuri
  skos:prefLabel "YSA - Yleinen suomalainen asiasanasto"@fi, "YSA - General Finnish thesaurus"@en ;
  a skos:ConceptScheme .

ysa:Y106515
  skos:prefLabel "sumea logiikka"@fi ;
  a skos:Concept ;
  skos:broader ysa:Y96960 .

ysa:Y154850
  skos:prefLabel "abduktio"@fi ;
  a skos:Concept ;
  skos:related ysa:Y96960 .

ysa:Y96960
  skos:related ysa:Y106397, ysa:Y154850, ysa:Y169062, ysa:Y101053, ysa:Y106396 ;
  skos:narrower ysa:Y101061, ysa:Y106362, ysa:Y98228, ysa:Y96794, ysa:Y103190, ysa:Y97275, ysa:Y101376, ysa:Y97308, ysa:Y97480, ysa:Y106515 ;
  skos:exactMatch allars:Y22061 ;
  skos:broader ysa:Y204015, ysa:Y95166 ;
  a skos:Concept ;
  skos:inScheme ysa:ysa_juuri ;
  skos:prefLabel "logiikka"@fi .

ysa:Y101376
  skos:prefLabel "formaalinen logiikka"@fi ;
  a skos:Concept ;
  skos:broader ysa:Y96960 .

ysa:Y106397
  skos:prefLabel "päättely"@fi ;
  a skos:Concept ;
  skos:related ysa:Y96960 .

allars:Y22061 skos:exactMatch ysa:Y96960 .
ysa:Y101053
  skos:prefLabel "deduktio"@fi ;
  a skos:Concept ;
  skos:related ysa:Y96960 .

ysa:Y97480
  skos:prefLabel "modaalilogiikka"@fi ;
  a skos:Concept ;
  skos:broader ysa:Y96960 .

ysa:ryhma_02
  a skos:Collection ;
  skos:prefLabel "02 Filosofia"@fi ;
  skos:member ysa:Y96960 .

ysa:Y106362
  skos:prefLabel "intensionaalinen logiikka"@fi ;
  a skos:Concept ;
  skos:broader ysa:Y96960 .

ysa:Y106396
  skos:prefLabel "induktio (filosofia)"@fi ;
  a skos:Concept ;
  skos:related ysa:Y96960 .

ysa:Y96794
  skos:prefLabel "lauselogiikka"@fi ;
  a skos:Concept ;
  skos:broader ysa:Y96960 .

ysa:Y101061
  skos:prefLabel "deonttinen logiikka"@fi ;
  a skos:Concept ;
  skos:broader ysa:Y96960 .

ysa:Y98228
  skos:prefLabel "predikaattilogiikka"@fi ;
  a skos:Concept ;
  skos:broader ysa:Y96960 .

ysa:Y95166
  skos:prefLabel "filosofia"@fi ;
  a skos:Concept ;
  skos:narrower ysa:Y96960 .

ysa:Y103190
  skos:prefLabel "todistusteoria"@fi ;
  a skos:Concept ;
  skos:broader ysa:Y96960 .

ysa:Y169062
  skos:prefLabel "ajattelun lait"@fi ;
  a skos:Concept ;
  skos:related ysa:Y96960 .

ysa:Y204015
  skos:prefLabel "käsitteelliset tieteet"@fi ;
  a skos:Concept ;
  skos:narrower ysa:Y96960 .

ysa:Y97275
  skos:prefLabel "malliteoria"@fi ;
  a skos:Concept ;
  skos:broader ysa:Y96960 .

ysa:Y97308
  skos:prefLabel "matemaattinen logiikka"@fi ;
  a skos:Concept ;
  skos:broader ysa:Y96960 .

