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

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

<http://www.irandoc.acir/onto/irandoc/MAT000994>
  skos:prefLabel "local diffeomorphism"@en, "وابرریختی موضعی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT000987> .

<http://www.irandoc.acir/onto/irandoc/MAT0003880>
  skos:prefLabel "Atiyah–Bott fixed point theorem"@en, "قضیه نقطه ثابت عطیه-بوت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT000987> .

<http://www.irandoc.acir/onto/irandoc/MAT0001179>
  skos:prefLabel "Banach space"@en, "فضای باناخ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT000987> .

<http://www.irandoc.acir/onto/irandoc/MAT000995>
  skos:prefLabel "Banach algebra"@en, "جبر باناخ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT000987> .

<http://www.irandoc.acir/onto/irandoc/MAT0003875>
  skos:prefLabel "Banach fixed point theorem"@en, "قضیه نقطه ثابت باناخ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT000987> .

<http://www.irandoc.acir/onto/irandoc/MAT000987>
  skos:prefLabel "قضیه تابع وارون"@fa, "inverse function theorem"@en ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003880>, <http://www.irandoc.acir/onto/irandoc/MAT0005090>, <http://www.irandoc.acir/onto/irandoc/MAT0001179>, <http://www.irandoc.acir/onto/irandoc/MAT0003801>, <http://www.irandoc.acir/onto/irandoc/MAT0003875>, <http://www.irandoc.acir/onto/irandoc/MAT000994> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT000995> .

<http://www.irandoc.acir/onto/irandoc/MAT0005090>
  skos:prefLabel "differentiable function"@en, "تابع مشتق‌پذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT000987> .