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

<http://www.irandoc.acir/onto/irandoc/MAT0008451>
  skos:prefLabel "Bolzano-Weierstrass theorem"@en, "قضیه بولتسانو-وایرشتراس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0001744>
  skos:prefLabel "variational formulation"@en, "فرمول وردشی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0006452>
  skos:prefLabel "Harnack inequality"@en, "نابرابری هارنک"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0001753>
  skos:prefLabel "روش عنصر مرزی"@fa, "boundary element method"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0008448>
  skos:prefLabel "Gauss integral"@en, "انتگرال گاوس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0005260>
  skos:prefLabel "uniformly continuity"@en, "پیوستگی یکنواخت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0007870>
  skos:prefLabel "Schwarz inequality"@en, "نابرابری شوارتس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0005206>
  skos:prefLabel "integral of vector functions"@en, "انتگرال توابع برداری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0008452>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0008449>, <http://www.irandoc.acir/onto/irandoc/MAT0008451>, <http://www.irandoc.acir/onto/irandoc/MAT0008448>, <http://www.irandoc.acir/onto/irandoc/MAT0008450>, <http://www.irandoc.acir/onto/irandoc/MAT0008447> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0006452>, <http://www.irandoc.acir/onto/irandoc/MAT0001753>, <http://www.irandoc.acir/onto/irandoc/MAT0001744>, <http://www.irandoc.acir/onto/irandoc/MAT0005260>, <http://www.irandoc.acir/onto/irandoc/MAT0005221>, <http://www.irandoc.acir/onto/irandoc/MAT0006715>, <http://www.irandoc.acir/onto/irandoc/MAT0008790>, <http://www.irandoc.acir/onto/irandoc/MAT0007870>, <http://www.irandoc.acir/onto/irandoc/MAT0005206> ;
  skos:prefLabel "قضیه دیورژانس"@fa, "divergence theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0008453> ;
  skos:scopeNote "این حکم که تحت بعضی شرایط ملایم، انتگرال حجمی دیورژانس یک تابع برداری روی حجم V برابر است با انتگرال رویه‌ای مؤلفه قائم برونسوی آن تابع برداری روی رویه مرزی V."@fa ;
  skos:altLabel "قضیه استراگرادسکی"@fa .

<http://www.irandoc.acir/onto/irandoc/MAT0005221>
  skos:prefLabel "simple curve"@en, "خم ساده"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0008450>
  skos:prefLabel "پیوستار باز"@fa, "open continuum"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0008790>
  skos:prefLabel "force of gravity"@en, "نیروی گرانش"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0008449>
  skos:prefLabel "اولین اصل توسیع"@fa, "first extension principle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0008453>
  skos:prefLabel "potential theory"@en, "نظریه پتانسیل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0008447>
  skos:prefLabel "اصل دوم توسیع"@fa, "second extension principle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0008452> .

<http://www.irandoc.acir/onto/irandoc/MAT0006715>
  skos:prefLabel "تابع همساز"@fa, "harmonic function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008452> .