@prefix yso: <http://www.yso.fi/onto/yso/> .
@prefix skosxl: <http://www.w3.org/2008/05/skos-xl#> .
@prefix dc11: <http://purl.org/dc/elements/1.1/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix ysa: <http://www.yso.fi/onto/ysa/> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix isothes: <http://purl.org/iso25964/skos-thes#> .

yso:p456#sme_1
  skosxl:literalForm "logihkka"@se ;
  dc11:source "Sámi Giellagáldu, TermWiki. https://satni.uit.no/termwiki"@se ;
  skos:inScheme yso: ;
  a skosxl:Label .

yso:
  rdfs:label "YSO - Almmolaš suopmelaš ontologiija"@sme, "ALLFO - Allmän finländsk ontologi"@sv, "YSO - Yleinen suomalainen ontologia"@fi, "YSO - General Finnish ontology"@en ;
  a owl:Ontology, skos:ConceptScheme .

<http://www.yso.fi/onto/yso-meta/Concept>
  rdfs:label "Oktasašdoaba"@se, "Allmänbegrepp"@sv, "Yleiskäsite"@fi, "General concept"@en ;
  a owl:Class .

yso:p456
  skos:narrower yso:p15195, yso:p15194, yso:p10365, yso:p10364, yso:p455, yso:p17907, yso:p2874, yso:p7677, yso:p7986 ;
  skos:related yso:p5900, yso:p5901, yso:p23291, yso:p5902, yso:p21553, yso:p1056, yso:p40462 ;
  a <http://www.yso.fi/onto/yso-meta/Concept>, skos:Concept ;
  dc:modified "2024-11-01"^^xsd:date ;
  skos:prefLabel "logic"@en, "logiikka"@fi, "logik"@sv, "logihkka"@se ;
  skos:exactMatch <http://www.yso.fi/onto/koko/p17306>, <http://www.yso.fi/onto/allars/Y22061>, ysa:Y96960 ;
  skos:inScheme yso: ;
  skos:broader yso:p5903 ;
  skos:closeMatch <http://id.loc.gov/authorities/subjects/sh85078106>, wd:Q8078 ;
  dc:created "1985-01-01"^^xsd:date ;
  skosxl:prefLabel yso:p456#sme_1 .

yso:p15195
  skos:prefLabel "modellteori"@sv, "malliteoria"@fi, "model theory"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:broader yso:p456 .

yso:p15194
  skos:prefLabel "matematihkalaš logihkka"@se, "matematisk logik"@sv, "matemaattinen logiikka"@fi, "mathematical logic"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:broader yso:p456 .

yso:p10365
  skos:prefLabel "predikáhttalogihkka"@se, "predikatlogik"@sv, "predikaattilogiikka"@fi, "predicate logic"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:broader yso:p456 .

yso:p10364
  skos:prefLabel "cealkkalogihkka"@se, "satslogik"@sv, "lauselogiikka"@fi, "propositional logic"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:broader yso:p456 .

yso:p455
  skos:prefLabel "bevisteori"@sv, "todistusteoria"@fi, "proof theory"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:broader yso:p456 .

yso:p17907
  skos:prefLabel "formála logihkka"@se, "formell logik"@sv, "formaalinen logiikka"@fi, "formal logic"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:broader yso:p456 .

yso:p2874
  skos:prefLabel "dialektihkka"@se, "dialektik"@sv, "dialektiikka"@fi, "dialectics"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:broader yso:p456 .

yso:p7677
  skos:prefLabel "intensionála logihkka"@se, "intensional logik"@sv, "intensionaalinen logiikka"@fi, "intensional logic"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:broader yso:p456 .

yso:p5903
  skos:prefLabel "formála diehtagat"@se, "formella vetenskaper"@sv, "käsitteelliset tieteet"@fi, "formal sciences"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:narrower yso:p456 .

yso:p7986
  skos:prefLabel "oskarp logik"@sv, "sumea logiikka"@fi, "fuzzy logic"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:broader yso:p456 .

yso:p5900
  skos:prefLabel "dedukšuvdna"@se, "deduktion"@sv, "deduktio"@fi, "deduction (inference)"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:related yso:p456 .

yso:p5901
  skos:prefLabel "indukšuvdna (filosofiija)"@se, "induktion (slutledning)"@sv, "induktio (filosofia)"@fi, "induction (inference)"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:related yso:p456 .

yso:p23291
  skos:prefLabel "abdukšuvdna"@se, "abduktion"@sv, "abduktio"@fi, "abduction (inference)"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:related yso:p456 .

yso:p5902
  skos:prefLabel "päättely"@fi, "slutledning"@sv, "inference"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:related yso:p456 .

yso:p26545
  skos:prefLabel "02 Filosofiija"@se, "02 Filosofi"@sv, "02 Filosofia"@fi, "02 Philosophy"@en ;
  a isothes:ConceptGroup, skos:Collection ;
  skos:member yso:p456 .

yso:p21553
  skos:prefLabel "jurddašeami lágat"@se, "tänkandets lagar"@sv, "ajattelun lait"@fi, "laws of thought"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:related yso:p456 .

yso:p1056
  skos:prefLabel "filosofiija"@se, "filosofi"@sv, "filosofia"@fi, "philosophy"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:related yso:p456 .

yso:p40462
  skos:prefLabel "kontradiktioner (logik)"@sv, "looginen ristiriita"@fi, "contradiction (logic)"@en ;
  a skos:Concept, <http://www.yso.fi/onto/yso-meta/Concept> ;
  skos:related yso:p456 .