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

tero:conceptscheme a skos:ConceptScheme .
ysa:Y106362 skos:exactMatch tero:p7677 .
tero:p456
  skos:prefLabel "logic"@en, "logik"@sv, "logiikka"@fi ;
  a skos:Concept ;
  skos:narrower tero:p7677 .

tero:p5542
  skos:prefLabel "modal logic"@en, "modaalilogiikka"@fi, "modallogik"@sv ;
  a skos:Concept ;
  skosext:broaderGeneric tero:p7677 ;
  skos:broader tero:p7677 .

tero:p7677
  skosext:broaderGeneric tero:p456 ;
  skos:exactMatch yso:p7677, ysa:Y106362, allars:Y20170 ;
  skos:inScheme tero:conceptscheme ;
  skos:broader tero:p456 ;
  a skos:Concept ;
  skos:narrower tero:p5542 ;
  skos:prefLabel "intentional logic"@en, "intensionaalinen logiikka"@fi, "intensional logik"@sv .

allars:Y20170 skos:exactMatch tero:p7677 .
yso:p7677 skos:exactMatch tero:p7677 .