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

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

<http://www.irandoc.acir/onto/irandoc/math0001519>
  skos:prefLabel "درون‌یابی"@fa, "interpolation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001182>
  skos:prefLabel "فضای نُرم‌دار مرتب"@fa, "ordered normed space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001188>
  skos:prefLabel "مشبکه باناخ"@fa, "banach lattice"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001110>
  skos:prefLabel "فضای نرم‌دار"@fa, "normed space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001169>
  skos:prefLabel "فضای توابع خطی"@fa, "linear functions space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0009240>
  skos:prefLabel "طول‌پایی خطی"@fa, "linear isometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001178>
  skos:prefLabel "دوگانی در فضای باناخ"@fa, "duality in banach space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001181>
  skos:prefLabel "فضای عملگرها"@fa, "space of operators"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001187>
  skos:prefLabel "قضیه مازور-اولام"@fa, "mazur-ulam theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001190>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0001181>, <http://www.irandoc.acir/onto/irandoc/math0001187>, <http://www.irandoc.acir/onto/irandoc/math0001189>, <http://www.irandoc.acir/onto/irandoc/math0001183>, <http://www.irandoc.acir/onto/irandoc/math0001179>, <http://www.irandoc.acir/onto/irandoc/math0001184>, <http://www.irandoc.acir/onto/irandoc/math0001180>, <http://www.irandoc.acir/onto/irandoc/math0001188>, <http://www.irandoc.acir/onto/irandoc/math0001186>, <http://www.irandoc.acir/onto/irandoc/math0001185>, <http://www.irandoc.acir/onto/irandoc/math0001182>, <http://www.irandoc.acir/onto/irandoc/math0001178> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001519>, <http://www.irandoc.acir/onto/irandoc/math0001169>, <http://www.irandoc.acir/onto/irandoc/math0001110>, <http://www.irandoc.acir/onto/irandoc/math0008731>, <http://www.irandoc.acir/onto/irandoc/math0009240>, <http://www.irandoc.acir/onto/irandoc/math0008627>, <http://www.irandoc.acir/onto/irandoc/math0007029> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001211> ;
  skos:prefLabel "normed linear space"@en, "فضای خطی نرم‌دار"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> .

<http://www.irandoc.acir/onto/irandoc/math0001180>
  skos:prefLabel "فضای دنباله‌ای باناخ"@fa, "banach sequence space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001186>
  skos:prefLabel "قضیه کرین-میلمن"@fa, "krein-milman theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001185>
  skos:prefLabel "قضیه شور(فضای باناخ)"@fa, "schur theorem(banach space)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0008731>
  skos:prefLabel "نظریه عملگر"@fa, "operator theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001184>
  skos:prefLabel "قضیه ارلیس-پتیس"@fa, "orlicz-pettis theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0007029>
  skos:prefLabel "پایداری یرز-اولام"@fa, "hyers-ulam stability"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001211>
  skos:prefLabel "آنالیز تابعی"@fa, "fuctional analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001183>
  skos:prefLabel "قضیه ابرلین-اسمولین"@fa, "eberlein-smulian theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0001189>
  skos:prefLabel "نُرم‌گذاری مجدد فضای باناخ"@fa, "renorming of banach space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001190> .

<http://www.irandoc.acir/onto/irandoc/math0008627>
  skos:prefLabel "عملگر خطی بسته"@fa, "closed linear oprator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001190> .