@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://data.loterre.fr/ark:/67375/73G> a skos:ConceptScheme .
<http://data.loterre.fr/ark:/67375/73G-HZ389Q9B-G>
  skos:hiddenLabel "Calcul propositionnel"@fr, "Propositional calculus"@en ;
  a skos:Concept ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/73G> ;
  skos:prefLabel "calcul propositionnel"@fr, "propositional calculus"@en ;
  skos:altLabel "calcul des propositions"@fr .

<http://data.loterre.fr/ark:/67375/73G/RLOG>
  skos:prefLabel "Structure ou élément du raisonnement logique"@fr, "Structure or element of logical reasoning"@en ;
  a skos:Collection ;
  skos:member <http://data.loterre.fr/ark:/67375/73G-HZ389Q9B-G> .