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

<http://www.irandoc.acir/onto/irandoc/MAT0007719>
  skos:prefLabel "نظریه پایدار"@fa, "stable theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007687> .

<http://www.irandoc.acir/onto/irandoc/MAT0007649>
  skos:prefLabel "Ryll-Nardzewski theorem"@en, "قضییه ریل- ناردوسکی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007687> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007638>
  skos:prefLabel "Stone space"@en, "فضای استون"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007687> .

<http://www.irandoc.acir/onto/irandoc/MAT0007686>
  skos:prefLabel "totally categorical"@en, "کلا رسته‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007687> .

<http://www.irandoc.acir/onto/irandoc/MAT0007721>
  skos:prefLabel "simple theory"@en, "نظریه ساده"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007687> .

<http://www.irandoc.acir/onto/irandoc/MAT0007684>
  skos:prefLabel "Baldwin-Lachlan theorem"@en, "قضیه بالدوین-لاخلان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007687> .

<http://www.irandoc.acir/onto/irandoc/MAT0007673>
  skos:prefLabel "uncountably categorical"@en, "رسته‌ای ناشمارا"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007687> .

<http://www.irandoc.acir/onto/irandoc/MAT0007640>
  skos:prefLabel "تایپ"@fa, "type"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007687> .

<http://www.irandoc.acir/onto/irandoc/MAT0007687>
  skos:prefLabel "categoricity"@en, "جازمیت"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007723> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007684>, <http://www.irandoc.acir/onto/irandoc/MAT0007686>, <http://www.irandoc.acir/onto/irandoc/MAT0007685>, <http://www.irandoc.acir/onto/irandoc/MAT0007673> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007722>, <http://www.irandoc.acir/onto/irandoc/MAT0007638>, <http://www.irandoc.acir/onto/irandoc/MAT0007719>, <http://www.irandoc.acir/onto/irandoc/MAT0007721>, <http://www.irandoc.acir/onto/irandoc/MAT0007652>, <http://www.irandoc.acir/onto/irandoc/MAT0007640>, <http://www.irandoc.acir/onto/irandoc/MAT0007649>, <http://www.irandoc.acir/onto/irandoc/MAT0007457> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007722>
  skos:prefLabel "classification of first order strucuters"@en, "رده‌بندی ساختارهای مرتبه‌اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007687> .

<http://www.irandoc.acir/onto/irandoc/MAT0007685>
  skos:prefLabel "categoricity theorem"@en, "قضیه جازمیت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007687> .

<http://www.irandoc.acir/onto/irandoc/MAT0007652>
  skos:prefLabel "saturated model"@en, "مدل اشباع"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007687> .