@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns0: <http://rdf-vocabulary.ddialliance.org/xkos#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.irandoc.acir/onto/irandoc/math0007784>
  skos:prefLabel "قضیه گیرسانف"@fa, "girsanov theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro609> .

<http://www.irandoc.acir/onto/irandoc/math000264>
  skos:prefLabel "لم فاتو"@fa, "fatou lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro609> .

<http://www.irandoc.acir/onto/irandoc/math0007935>
  skos:prefLabel "اندازه احتمال"@fa, "probability measure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math000273>
  skos:prefLabel "تابع اندازه‌ناپذیر"@fa, "non-measurable function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001163>
  skos:prefLabel "فضای توابع اندازه‌پذیر"@fa, "space of measurable functions"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro609> .

<http://www.irandoc.acir/onto/irandoc/math0001144>
  skos:prefLabel "نرم صفر"@fa, "zero norm"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3265>
  skos:prefLabel "تحلیل"@fa, "analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro609>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001144>, <http://www.irandoc.acir/onto/irandoc/math0007935>, <http://www.irandoc.acir/onto/irandoc/math000303>, <http://www.irandoc.acir/onto/irandoc/math000937>, <http://www.irandoc.acir/onto/irandoc/math0007896>, <http://www.irandoc.acir/onto/irandoc/math0007784>, <http://www.irandoc.acir/onto/irandoc/math0003684>, <http://www.irandoc.acir/onto/irandoc/math0007936>, <http://www.irandoc.acir/onto/irandoc/math0007843>, <http://www.irandoc.acir/onto/irandoc/math0008667>, <http://www.irandoc.acir/onto/irandoc/math0001780>, <http://www.irandoc.acir/onto/irandoc/math0006637>, <http://www.irandoc.acir/onto/irandoc/math000273>, <http://www.irandoc.acir/onto/irandoc/math0001163> ;
  skos:prefLabel "تابع اندازه‌پذیر"@fa, "measurable function"@en, "تابع قابل اندازه‌گیری"@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math000264>, <http://www.irandoc.acir/onto/irandoc/math000261>, <http://www.irandoc.acir/onto/irandoc/math000251>, <http://www.irandoc.acir/onto/irandoc/math000252>, <http://www.irandoc.acir/onto/irandoc/math000248>, <http://www.irandoc.acir/onto/irandoc/math000262>, <http://www.irandoc.acir/onto/irandoc/mathpro655>, <http://www.irandoc.acir/onto/irandoc/math000263> ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro609> ;
  skos:scopeNote "تابعی از یک فضای اندازه پذیر به نحوی که نگاره وارون یک مجموعه اندازه پذیر، مجموعه ای اندازه پذیر باشد."@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro3265> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math000315>, <http://www.irandoc.acir/onto/irandoc/mathpro564> .

<http://www.irandoc.acir/onto/irandoc/math000263>
  skos:prefLabel "قضیه ییگوروف"@fa, "egorov theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro609> .

<http://www.irandoc.acir/onto/irandoc/math000315>
  skos:prefLabel "نظریه اندازه"@fa, "measure theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math000262>
  skos:prefLabel "قضیه لبگ"@fa, "lebesgue theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro609> .

<http://www.irandoc.acir/onto/irandoc/math0003684>
  skos:prefLabel "توپولوژی قوی عملگر"@fa, "strong operator topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007896>
  skos:prefLabel "توزیع متناهی"@fa, "finite distribution"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007843>
  skos:prefLabel "مارتینگل"@fa, "martingale"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math000252>
  skos:prefLabel "تقریباً همه جا"@fa, "almost-everywhere"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro609> .

<http://www.irandoc.acir/onto/irandoc/math0006637>
  skos:prefLabel "معادله دیفرانسیل بلترامی"@fa, "beltrami differential equation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

ns0:is_defined_by rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/math000261>
  skos:prefLabel "دنباله توابع اندازه‌پذیر"@fa, "sequence of measurable function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro609> .

<http://www.irandoc.acir/onto/irandoc/math0008667>
  skos:prefLabel "عملگر نمیتسکی"@fa, "nemytskii operator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro564>
  skos:prefLabel "تابع"@fa, "عملکرد"@fa, "function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro609> .

<http://www.irandoc.acir/onto/irandoc/math0001780>
  skos:prefLabel "مونت کارلوی معکوس"@fa, "reverse monte carlo"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math000248>
  skos:prefLabel "تابع سه‌سه‌ای کانتور"@fa, "cantor ternary function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro609> .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/math000251>
  skos:prefLabel "تابع نیم‌پیوسته"@fa, "semi-continuous function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro609> .

<http://www.irandoc.acir/onto/irandoc/math000303>
  skos:prefLabel "قضیه رادون-نیکودیم"@fa, "radon-nikodym theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro681> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro609> .
<http://www.irandoc.acir/onto/irandoc/mathpro671> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro609> .
<http://www.irandoc.acir/onto/irandoc/math000937>
  skos:prefLabel "تابع موضعا انتگرال‌پذیر"@fa, "locally integrable function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro609> .

<http://www.irandoc.acir/onto/irandoc/mathpro3338> skos:related <http://www.irandoc.acir/onto/irandoc/mathpro609> .
<http://www.irandoc.acir/onto/irandoc/math0007936>
  skos:prefLabel "نظریه اندازه احتمالی"@fa, "probabilistic measure theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .