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

<http://www.irandoc.acir/onto/irandoc/math0004969>
  skos:prefLabel "بعد تصویری"@fa, "projective dimension"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004992> .

<http://www.irandoc.acir/onto/irandoc/math0004990>
  skos:prefLabel "تجزیه تصویری کامل"@fa, "complete projective resolution"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004992> .

<http://www.irandoc.acir/onto/irandoc/math0004995>
  skos:prefLabel "تجزیه"@fa, "resolution"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0004992> .

<http://www.irandoc.acir/onto/irandoc/math0005020>
  skos:prefLabel "تابعگون مشتق چپ"@fa, "left derived functor"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004992> .

<http://www.irandoc.acir/onto/irandoc/math0005019>
  skos:prefLabel "تابعگون توسیع"@fa, "extension functor"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004992> .

<http://www.irandoc.acir/onto/irandoc/mathpro1495> skos:related <http://www.irandoc.acir/onto/irandoc/math0004992> .
<http://www.irandoc.acir/onto/irandoc/mathpro791> skos:related <http://www.irandoc.acir/onto/irandoc/math0004992> .
<http://www.irandoc.acir/onto/irandoc/math0004991>
  skos:prefLabel "مرابطه"@fa, "syzygy"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004992> .

<http://www.irandoc.acir/onto/irandoc/math0004985>
  skos:prefLabel "لم نعل اسبی"@fa, "horseshoe lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004992> .

<http://www.irandoc.acir/onto/irandoc/math0005018>
  skos:prefLabel "تابعگون تاب"@fa, "torsion functor"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004992> .

<http://www.irandoc.acir/onto/irandoc/math0004992>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0004990>, <http://www.irandoc.acir/onto/irandoc/math0004991> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0005020>, <http://www.irandoc.acir/onto/irandoc/math0004985>, <http://www.irandoc.acir/onto/irandoc/math0005019>, <http://www.irandoc.acir/onto/irandoc/math0004969>, <http://www.irandoc.acir/onto/irandoc/math0005018> ;
  skos:scopeNote "همبافت دقیقی که همۀ جملاتش مدول های تصویری باشند."@fa ;
  skos:prefLabel "تجزیه تصویری"@fa, "projective resolution"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004995> .