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

<http://www.irandoc.acir/onto/irandoc/MAT0007397>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007556>, <http://www.irandoc.acir/onto/irandoc/MAT0007566>, <http://www.irandoc.acir/onto/irandoc/MAT0008450>, <http://www.irandoc.acir/onto/irandoc/MAT0007545> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:altLabel "انگاره پیوستار"@fa ;
  skos:prefLabel "فرض پیوستار"@fa, "continuum hypothesis"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007566>
  skos:prefLabel "constructible set"@en, "مجموعه ساخت‌پذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007397> .

<http://www.irandoc.acir/onto/irandoc/MAT0008450>
  skos:prefLabel "پیوستار باز"@fa, "open continuum"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007397> .

<http://www.irandoc.acir/onto/irandoc/MAT0007398>
  skos:prefLabel "axioms of set theory"@en, "اصول موضوع نظریه مجموعه‌ها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007397> .

<http://www.irandoc.acir/onto/irandoc/MAT0007556>
  skos:prefLabel "forcing method"@en, "روش اظهار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007397> .

<http://www.irandoc.acir/onto/irandoc/MAT0007545>
  skos:prefLabel "descriptive set theory"@en, "نظریه توصیفی مجموعه‌ها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007397> .