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

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:related koko:p18248 .

koko:p17306
  skos:prefLabel "logic"@en, "logik"@sv, "logiikka"@fi ;
  a skos:Concept ;
  skos:narrower koko:p18248 .

koko:p18248
  skos:prefLabel "malliteoria"@fi, "modellteori"@sv, "model theory"@en ;
  skos:closeMatch ysa:Y3187 ;
  skos:altLabel "logisk semantik"@sv, "looginen semantiikka"@fi ;
  skos:broader koko:p17306 ;
  skos:inScheme yso:conceptscheme ;
  a skos:Concept ;
  skos:exactMatch yso:p15195 ;
  skos:related koko:p8414 .