@prefix humord: <http://data.ub.uio.no/humord/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

humord:c70602
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  dc:created "2026-10-13T00:00:00"^^xsd:dateTime ;
  dc:identifier "HUME70602" ;
  dc:modified "2026-10-13T13:13:06"^^xsd:dateTime ;
  skos:altLabel "Dobbel negasjon"@nn, "Dobbel negasjon"@nb ;
  skos:broader humord:c00704 ;
  skos:definition "Dobbelt nektelse er et logisk prinsipp eller lov som sier at nektelsen av en nektelse er det samme som bekreftelse: ikke-ikke-p er det samme som p.  <SNL>"@nb ;
  skos:editorialNote "Lukket bemerkning: ubo26"@nb ;
  skos:inScheme humord: ;
  skos:prefLabel "Double negation"@en, "Dobbel nektelse"@nb, "Dobbel nekting"@nn .

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

humord:c00704
  a <http://data.ub.uio.no/onto#Topic>, skos:Concept ;
  skos:narrower humord:c70602 ;
  skos:prefLabel "Logics"@en, "Logikk"@nn, "Logikk"@nb .

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

