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

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

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

<http://www.irandoc.acir/onto/irandoc/math0008452>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0008448>, <http://www.irandoc.acir/onto/irandoc/math0008449>, <http://www.irandoc.acir/onto/irandoc/math0008450>, <http://www.irandoc.acir/onto/irandoc/math0008451>, <http://www.irandoc.acir/onto/irandoc/math0008447> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0005206>, <http://www.irandoc.acir/onto/irandoc/math0003625>, <http://www.irandoc.acir/onto/irandoc/math0007870>, <http://www.irandoc.acir/onto/irandoc/math0008790>, <http://www.irandoc.acir/onto/irandoc/math0008400>, <http://www.irandoc.acir/onto/irandoc/math0001753>, <http://www.irandoc.acir/onto/irandoc/math0001744>, <http://www.irandoc.acir/onto/irandoc/math0005260> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008453> ;
  skos:scopeNote "این حکم که تحت بعضی شرایط ملایم، انتگرال حجمی دیورژانس یک تابع برداری روی حجم v برابر است با انتگرال رویه‌ای مؤلفه قائم برونسوی آن تابع برداری روی رویه مرزی v."@fa ;
  skos:prefLabel "divergence theorem"@en, "قضیه دیورژانس"@fa ;
  skos:altLabel "قضیه استراگرادسکی"@fa, "" ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

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

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

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

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

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

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

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

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

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

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

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