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

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

<http://www.irandoc.acir/onto/irandoc/math0007694>
  skos:prefLabel "رتبه"@fa, "rank"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007680> .

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro1232> skos:broader <http://www.irandoc.acir/onto/irandoc/math0007680> .
<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:related <http://www.irandoc.acir/onto/irandoc/math0007680> .

<http://www.irandoc.acir/onto/irandoc/math0007684>
  skos:prefLabel "قضیه بالدوین-لاخلان"@fa, "baldwin-lachlan theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007680> .

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

<http://www.irandoc.acir/onto/irandoc/math0007678>
  skos:prefLabel "اصل تعویض"@fa, "exchange principle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007680> .

<http://www.irandoc.acir/onto/irandoc/math0007698>
  skos:prefLabel "پایه متعارف"@fa, "canonical base"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007680> .