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

<http://www.irandoc.acir/onto/irandoc/math0005022>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0005021>, <http://www.irandoc.acir/onto/irandoc/math0005018>, <http://www.irandoc.acir/onto/irandoc/math0005020>, <http://www.irandoc.acir/onto/irandoc/math0005019> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004641>, <http://www.irandoc.acir/onto/irandoc/math0008549>, <http://www.irandoc.acir/onto/irandoc/math0004995>, <http://www.irandoc.acir/onto/irandoc/math0005017> ;
  skos:altLabel "فانکتور مشتق"@fa, "" ;
  skos:scopeNote "تابعگون بدست آمده از یک تابعگون خاص با استفاده از رزلوشنها."@fa ;
  skos:prefLabel "تابعگون مشتق"@fa, "derived functor"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro302> .

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0008549>
  skos:prefLabel "رسته مشتق"@fa, "derived category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0005022> .

<http://www.irandoc.acir/onto/irandoc/mathpro302>
  skos:prefLabel "مانستگی"@fa, "همولوژی"@fa, "homology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0005022> .

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

<http://www.irandoc.acir/onto/irandoc/math0005021>
  skos:prefLabel "تابعگون مشتق راست"@fa, "right derived functor"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0005022> .

<http://www.irandoc.acir/onto/irandoc/mathpro435> skos:related <http://www.irandoc.acir/onto/irandoc/math0005022> .
<http://www.irandoc.acir/onto/irandoc/math0004641>
  skos:prefLabel "module"@en, "مدول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0005022> .

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