@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@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#> .

psr:-HKM347TW-1
  skos:prefLabel "Euclidean field"@en, "corps euclidien"@fr ;
  a skos:Concept ;
  skos:broader psr:-DWW7699M-S .

psr:-DWW7699M-S
  skos:narrower psr:-HKM347TW-1, psr:-JK5KS4W8-N ;
  dc:created "2023-09-22"^^xsd:date ;
  dc:modified "2023-09-22"^^xsd:date ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-RJM355KT-L ;
  skos:prefLabel "corps totalement ordonné"@fr, "totally ordered field"@en .

psr:-JK5KS4W8-N
  skos:prefLabel "corps réel clos"@fr, "real closed field"@en ;
  a skos:Concept ;
  skos:broader psr:-DWW7699M-S .

psr:-RJM355KT-L
  skos:prefLabel "ordered field"@en, "corps ordonné"@fr ;
  a skos:Concept ;
  skos:narrower psr:-DWW7699M-S .

psr: a skos:ConceptScheme .