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

<http://www.irandoc.acir/onto/irandoc/math0007680>
  skos:prefLabel "رتبه مورلی نظریه"@fa, "morley rank of theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007684> .

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

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

<http://www.irandoc.acir/onto/irandoc/math0007674>
  skos:prefLabel "جفت واتی"@fa, "vaughtian pair"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007684> .

<http://www.irandoc.acir/onto/irandoc/math0007683>
  skos:prefLabel "مجموعه مینیمال"@fa, "minimal set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007684> .

<http://www.irandoc.acir/onto/irandoc/math0007677>
  skos:prefLabel "رتبه مورلی تایپ"@fa, "morley rank of type"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007684> .

<http://www.irandoc.acir/onto/irandoc/math0007681>
  skos:prefLabel "فرمول مینیمال"@fa, "minimal formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007684> .

<http://www.irandoc.acir/onto/irandoc/math0007675>
  skos:prefLabel "درجه تایپ"@fa, "degree of type"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007684> .

<http://www.irandoc.acir/onto/irandoc/math0007684>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007681>, <http://www.irandoc.acir/onto/irandoc/math0007674>, <http://www.irandoc.acir/onto/irandoc/math0007676>, <http://www.irandoc.acir/onto/irandoc/math0007683>, <http://www.irandoc.acir/onto/irandoc/math0007675>, <http://www.irandoc.acir/onto/irandoc/math0007677>, <http://www.irandoc.acir/onto/irandoc/math0007680>, <http://www.irandoc.acir/onto/irandoc/math0007682> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007722>, <http://www.irandoc.acir/onto/irandoc/math0007685> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007687> ;
  skos:prefLabel "baldwin-lachlan theorem"@en, "قضیه بالدوین-لاخلان"@fa .

<http://www.irandoc.acir/onto/irandoc/math0007682>
  skos:prefLabel "لم تعویض"@fa, "exchange lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007684> .

<http://www.irandoc.acir/onto/irandoc/math0007687>
  skos:prefLabel "جازمیت"@fa, "categoricity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007684> .

<http://www.irandoc.acir/onto/irandoc/math0007676>
  skos:prefLabel "درجه مورلی"@fa, "morley degree"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007684> .