@prefix yso: <http://www.yso.fi/onto/yso/> .
@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/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

yso:p455
  skos:broader yso:p456 ;
  skos:closeMatch ysa:Y103190, allars:Y15994 ;
  skos:inScheme yso:conceptscheme ;
  skos:prefLabel "theory of proof"@en, "todistusteoria"@fi, "bevisteori"@sv ;
  a skos:Concept .

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

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