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

tero:p25008
  skos:prefLabel "abduktio -- filosofia"@fi, "abduktion (filosofi)"@sv ;
  a skos:Concept ;
  skos:related tero:p456 .

tero:p15194
  skos:prefLabel "mathematical logic"@en, "matemaattinen logiikka"@fi, "matematisk logik"@sv ;
  a skos:Concept ;
  skosext:broaderGeneric tero:p456 ;
  skos:broader tero:p456 .

ysa:Y96960 skos:exactMatch tero:p456 .
allars:Y22061 skos:exactMatch tero:p456 .
tero:p5903
  skos:prefLabel "conceptual science"@sv, "conceptual science"@en, "käsitteellinen tiede"@fi ;
  a skos:Concept ;
  skos:narrower tero:p456 .

tero:p7986
  skos:prefLabel "sumea logiikka"@fi, "fuzzy logic"@en, "oskarp logik"@sv ;
  a skos:Concept ;
  skosext:broaderGeneric tero:p456 ;
  skos:broader tero:p456 .

tero:p456
  skos:narrower tero:p2874, tero:p455, tero:p15195, tero:p10365, tero:p15194, tero:p17907, tero:p7986, tero:p10364, tero:p7677 ;
  skos:related tero:p5900, tero:p25008, tero:p5902, tero:p21553, tero:p5901 ;
  skos:exactMatch ysa:Y96960, yso:p456, allars:Y22061 ;
  skos:prefLabel "logiikka"@fi, "logic"@en, "logik"@sv ;
  skos:broader tero:p5903 ;
  a skos:Concept ;
  skos:inScheme tero:conceptscheme ;
  skosext:broaderGeneric tero:p5903 .

tero:p5902
  skos:prefLabel "slutledning"@sv, "deduction"@en, "päättely"@fi ;
  a skos:Concept ;
  skos:related tero:p456 .

tero:p17907
  skos:prefLabel "formal logic"@en, "formaalinen logiikka"@fi, "formell logik"@sv ;
  a skos:Concept ;
  skosext:broaderGeneric tero:p456 ;
  skos:broader tero:p456 .

tero:p2874
  skos:prefLabel "dialectics"@en, "dialektiikka"@fi, "dialektik"@sv ;
  a skos:Concept ;
  skosext:broaderGeneric tero:p456 ;
  skos:broader tero:p456 .

tero:p455
  skos:prefLabel "theory of proof"@en, "todistusteoria"@fi, "bevisteori"@sv ;
  a skos:Concept ;
  skosext:broaderGeneric tero:p456 ;
  skos:broader tero:p456 .

tero:p10365
  skos:prefLabel "predicate logic"@en, "predikaattilogiikka"@fi, "predikatlogik"@sv ;
  a skos:Concept ;
  skosext:broaderGeneric tero:p456 ;
  skos:broader tero:p456 .

tero:p5901
  skos:prefLabel "induction -- philosophy"@en, "induktion (filosofi)"@sv, "induktio -- filosofia"@fi ;
  a skos:Concept ;
  skos:related tero:p456 .

yso:p456 skos:exactMatch tero:p456 .
tero:p7677
  skos:prefLabel "intensionaalinen logiikka"@fi, "intensional logik"@sv, "intentional logic"@en ;
  a skos:Concept ;
  skosext:broaderGeneric tero:p456 ;
  skos:broader tero:p456 .

tero:p10364
  skos:prefLabel "sentence logic"@en, "lauselogiikka"@fi, "satslogik"@sv ;
  a skos:Concept ;
  skosext:broaderGeneric tero:p456 ;
  skos:broader tero:p456 .

tero:p5900
  skos:prefLabel "deduktion"@sv, "deduktio"@fi, "deduction"@en ;
  a skos:Concept ;
  skos:related tero:p456 .

tero:p15195
  skos:prefLabel "model theory"@en, "malliteoria"@fi, "modellteori"@sv ;
  a skos:Concept ;
  skosext:broaderGeneric tero:p456 ;
  skos:broader tero:p456 .

tero:p21553
  skos:prefLabel "tänkandets lagar"@sv, "ajattelun lait"@fi ;
  a skos:Concept ;
  skos:related tero:p456 .

tero:conceptscheme a skos:ConceptScheme .