@prefix yso: <http://www.yso.fi/onto/yso/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ysa: <http://www.yso.fi/onto/ysa/> .
@prefix allars: <http://www.yso.fi/onto/allars/> .

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

yso:p15195
  skos:prefLabel "model theory"@en, "malliteoria"@fi, "modellteori"@sv ;
  a skos:Concept ;
  skos:related yso:p15194 .

yso:p456
  skos:prefLabel "logic"@en, "logik"@sv, "logiikka"@fi ;
  a skos:Concept ;
  skos:narrower yso:p15194 .

yso:p15194
  skos:inScheme yso:conceptscheme ;
  skos:prefLabel "matematisk logik"@sv, "matemaattinen logiikka"@fi, "mathematical logic"@en ;
  skos:broader yso:p456 ;
  skos:altLabel "symbolisk logik"@sv, "symbolinen logiikka"@fi, "logistiikka -- logiikka"@fi ;
  skos:related yso:p15195 ;
  a skos:Concept ;
  skos:closeMatch ysa:Y97308, allars:Y22525 .

