@prefix humord: <http://data.ub.uio.no/humord/> .
@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#> .

humord:c65321
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:broader humord:c65322 ;
  skos:prefLabel "Relasjonsalgebra"@nn, "Relasjonsalgebra"@nb, "Relational algebra"@en .

<http://data.ub.uio.no/onto#Topic>
  a rdfs:Class, owl:Class ;
  rdfs:label "Innholdsbeskrivende emne"@nb, "Topic"@en .

humord:c65322
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  dc:created "2024-04-04T00:00:00"^^xsd:dateTime ;
  dc:identifier "HUME65322" ;
  dc:modified "2024-04-04T07:53:23"^^xsd:dateTime ;
  skos:altLabel "Predikater"@nb, "Predikatkalkykler"@nb, "Predikatkalkylar"@nn, "Predikatkalkyle"@nb, "Kvantorlogikk"@nb ;
  skos:broader humord:c00719 ;
  skos:definition "Predikatlogikk (også predikatkalkyle eller kvantorlogikk) er en gren av logikken som analyserer setninger som inneholder kvantorer («alle», «noen», «ingen» osv.) og variabler.  <wikipedia>"@nb ;
  skos:editorialNote "Lukket bemerkning: ubo24"@nb ;
  skos:inScheme humord: ;
  skos:narrower humord:c65321 ;
  skos:prefLabel "Predikatlogikk"@nn, "Predikatlogikk"@nb, "Predicate logic"@en .

humord:c00719
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:narrower humord:c65322 ;
  skos:prefLabel "Symbolic logic"@en, "Symbolsk logikk"@nn, "Symbolsk logikk"@nb .

humord:
  a skos:ConceptScheme ;
  rdfs:label "Humord"@nb .