@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/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007382>
  skos:prefLabel "axiom of induction"@en, "اصل موضوع استقرا"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007388>
  skos:prefLabel "axiom of extension"@en, "اصل موضوع توسیع"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007391>
  skos:prefLabel "well-ordering axiom"@en, "اصل موضوع خوش‌ترتیبی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007567>
  skos:prefLabel "model theory 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/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007387>
  skos:prefLabel "axiom of powers"@en, "اصل موضوع توان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007297>
  skos:prefLabel "consistency problem"@en, "مسئله سازگاری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007390>
  skos:prefLabel "well-founded axiom"@en, "اصل موضوع خوش‌بنیانی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007396>
  skos:prefLabel "Russell paradox"@en, "پارادکس راسل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007380>
  skos:prefLabel "union axiom"@en, "اصل موضوع اجتماع"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007386>
  skos:prefLabel "Zermelo axiom"@en, "اصل موضوع تسرملو"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007197>
  skos:prefLabel "axiom"@en, "اصل موضوع"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007290>
  skos:prefLabel "نظریه سازگار"@fa, "consistent theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007172>
  skos:prefLabel "شرط"@fa, "condition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007395>
  skos:prefLabel "congruence axiom"@en, "اصل موضوع همنهشتی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007385>
  skos:prefLabel "اصل موضوع بی‌نهایت"@fa, "axiom of infinity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007403>
  skos:prefLabel "class"@en, "رده"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007530>
  skos:prefLabel "set"@en, "مجموعه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007394>
  skos:prefLabel "اصل موضوع وقوع"@fa, "incidence axioms"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007384>
  skos:prefLabel "اصل موضوع انتخاب"@fa, "axiom of choice"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007393>
  skos:prefLabel "Martin axiom"@en, "اصل موضوع مارتین"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007399>
  skos:prefLabel "definable class"@en, "رده تعریف‌پذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007389>
  skos:prefLabel "axiom of substitution"@en, "اصل موضوع جایگزینی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007299>
  skos:prefLabel "سازگاری"@fa, "consistency"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007723>
  skos:prefLabel "classification theory"@en, "نظریه رده‌بندی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007392>
  skos:prefLabel "axiom of compatibility"@en, "اصل موضوع سازگاری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007398> .

<http://www.irandoc.acir/onto/irandoc/MAT0007398>
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007568> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007385>, <http://www.irandoc.acir/onto/irandoc/MAT0007392>, <http://www.irandoc.acir/onto/irandoc/MAT0007393>, <http://www.irandoc.acir/onto/irandoc/MAT0007384>, <http://www.irandoc.acir/onto/irandoc/MAT0007387>, <http://www.irandoc.acir/onto/irandoc/MAT0007394>, <http://www.irandoc.acir/onto/irandoc/MAT0007380>, <http://www.irandoc.acir/onto/irandoc/MAT0007395>, <http://www.irandoc.acir/onto/irandoc/MAT0007386>, <http://www.irandoc.acir/onto/irandoc/MAT0007390>, <http://www.irandoc.acir/onto/irandoc/MAT0007391>, <http://www.irandoc.acir/onto/irandoc/MAT0007397>, <http://www.irandoc.acir/onto/irandoc/MAT0007389>, <http://www.irandoc.acir/onto/irandoc/MAT0007396>, <http://www.irandoc.acir/onto/irandoc/MAT0007388>, <http://www.irandoc.acir/onto/irandoc/MAT0007382> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007197>, <http://www.irandoc.acir/onto/irandoc/MAT0007403>, <http://www.irandoc.acir/onto/irandoc/MAT0007530>, <http://www.irandoc.acir/onto/irandoc/MAT0007546>, <http://www.irandoc.acir/onto/irandoc/MAT0007290>, <http://www.irandoc.acir/onto/irandoc/MAT0007723>, <http://www.irandoc.acir/onto/irandoc/MAT0007399>, <http://www.irandoc.acir/onto/irandoc/MAT0007172>, <http://www.irandoc.acir/onto/irandoc/MAT0007297>, <http://www.irandoc.acir/onto/irandoc/MAT0007299>, <http://www.irandoc.acir/onto/irandoc/MAT0007567> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "اصول موضوع نظریه مجموعه‌ها"@fa, "axioms of set theory"@en .