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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007301>
  skos:prefLabel "classical first order logic"@en, "منطق کلاسیک مرتبه اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007558>
  skos:prefLabel "relative constructibility"@en, "ساخت‌پذیری نسبی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007561>
  skos:prefLabel "Mostowski collapsing theorem"@en, "قضیه تلاشی موستوسکی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007567>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007561>, <http://www.irandoc.acir/onto/irandoc/MAT0007556>, <http://www.irandoc.acir/onto/irandoc/MAT0007560>, <http://www.irandoc.acir/onto/irandoc/MAT0007548>, <http://www.irandoc.acir/onto/irandoc/MAT0007565>, <http://www.irandoc.acir/onto/irandoc/MAT0007559>, <http://www.irandoc.acir/onto/irandoc/MAT0007566>, <http://www.irandoc.acir/onto/irandoc/MAT0007564>, <http://www.irandoc.acir/onto/irandoc/MAT0007558>, <http://www.irandoc.acir/onto/irandoc/MAT0007563>, <http://www.irandoc.acir/onto/irandoc/MAT0007562> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007398>, <http://www.irandoc.acir/onto/irandoc/MAT0007295>, <http://www.irandoc.acir/onto/irandoc/MAT0007724>, <http://www.irandoc.acir/onto/irandoc/MAT0007301>, <http://www.irandoc.acir/onto/irandoc/MAT0007671> ;
  skos:prefLabel "model theory of set theory"@en, "نظریه مدل نظریه مجموعه‌ها"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007568> .

<http://www.irandoc.acir/onto/irandoc/MAT0007548>
  skos:prefLabel "reflection principle (set theory)"@en, "اصل بازتاب (نظریه مجموعه)"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007560>
  skos:prefLabel "Jensen covering theorem"@en, "قضیه پوشش ینسن"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<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:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<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:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007565>
  skos:prefLabel "definable set"@en, "مجموعه تعریف‌پذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007295>
  skos:prefLabel "Godel incompleteness theorem"@en, "قضیه ناتمامیت گودل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007564>
  skos:prefLabel "representation lemma"@en, "لم نمایش"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007724>
  skos:prefLabel "نظریه مدل"@fa, "model theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007563>
  skos:prefLabel "Stone representation theorem"@en, "قضیه نمایش استون"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007671>
  skos:prefLabel "model"@en, "مدل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007559>
  skos:prefLabel "Scott theorem"@en, "قضیه اسکات"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<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:related <http://www.irandoc.acir/onto/irandoc/MAT0007567> .

<http://www.irandoc.acir/onto/irandoc/MAT0007562>
  skos:prefLabel "weak compactness theorem"@en, "قضیه فشردگی ضعیف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007567> .