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

<http://www.irandoc.acir/onto/irandoc/mathpro2554> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro92> .
<http://www.irandoc.acir/onto/irandoc/mathpro150>
  skos:prefLabel "فضای هاردی"@fa, "hardy space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro163>
  skos:prefLabel "فضای ادغام"@fa, "integration space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro176> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .
<http://www.irandoc.acir/onto/irandoc/mathpro148>
  skos:prefLabel "فضای نگهدارنده"@fa, "holder space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro170>
  skos:prefLabel "فضای تابع محدود"@fa, "space of confined function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro99>
  skos:prefLabel "فضای گسسته"@fa, "discrete space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro142>
  skos:prefLabel "فضای تصویری"@fa, "projective space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro168>
  skos:prefLabel "فضای تابع تعمیم‌یافته"@fa, "space of generalised function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro93>
  skos:prefLabel "فضای بی‌نهایت بعدی"@fa, "infinite-dimensional space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro3281>
  skos:prefLabel "تنظیم"@fa, "set"@en, "مجموعه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/mathpro175>
  skos:prefLabel "فضای مسیرها"@fa, "space of paths"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro119>
  skos:prefLabel "فضای متری"@fa, "فضای متریک"@fa, "metric space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro100>
  skos:prefLabel "فضای با ابعاد محدود"@fa, "finite-dimensional space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro98>
  skos:prefLabel "گروه هذلولوی"@fa, "گروه هذلولی"@fa, "hyperbolic group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro139>
  skos:prefLabel "فضای همگن"@fa, "homogeneous space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro92>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro2596>, <http://www.irandoc.acir/onto/irandoc/mathpro116>, <http://www.irandoc.acir/onto/irandoc/mathpro181>, <http://www.irandoc.acir/onto/irandoc/mathpro2492>, <http://www.irandoc.acir/onto/irandoc/mathpro117>, <http://www.irandoc.acir/onto/irandoc/mathpro146>, <http://www.irandoc.acir/onto/irandoc/mathpro166>, <http://www.irandoc.acir/onto/irandoc/0>, <http://www.irandoc.acir/onto/irandoc/math0009539>, <http://www.irandoc.acir/onto/irandoc/mathpro149>, <http://www.irandoc.acir/onto/irandoc/mathpro150>, <http://www.irandoc.acir/onto/irandoc/mathpro170>, <http://www.irandoc.acir/onto/irandoc/mathpro142>, <http://www.irandoc.acir/onto/irandoc/mathpro163>, <http://www.irandoc.acir/onto/irandoc/mathpro175>, <http://www.irandoc.acir/onto/irandoc/mathpro115>, <http://www.irandoc.acir/onto/irandoc/mathpro119>, <http://www.irandoc.acir/onto/irandoc/mathpro148>, <http://www.irandoc.acir/onto/irandoc/mathpro160>, <http://www.irandoc.acir/onto/irandoc/mathpro140>, <http://www.irandoc.acir/onto/irandoc/mathpro173>, <http://www.irandoc.acir/onto/irandoc/mathpro165>, <http://www.irandoc.acir/onto/irandoc/mathpro138>, <http://www.irandoc.acir/onto/irandoc/mathpro99>, <http://www.irandoc.acir/onto/irandoc/mathpro179>, <http://www.irandoc.acir/onto/irandoc/mathpro100>, <http://www.irandoc.acir/onto/irandoc/mathpro162>, <http://www.irandoc.acir/onto/irandoc/mathpro2383>, <http://www.irandoc.acir/onto/irandoc/mathpro139>, <http://www.irandoc.acir/onto/irandoc/mathpro168>, <http://www.irandoc.acir/onto/irandoc/mathpro172>, <http://www.irandoc.acir/onto/irandoc/mathpro2414>, <http://www.irandoc.acir/onto/irandoc/mathpro164>, <http://www.irandoc.acir/onto/irandoc/mathpro93>, <http://www.irandoc.acir/onto/irandoc/math0009536>, <http://www.irandoc.acir/onto/irandoc/mathpro137>, <http://www.irandoc.acir/onto/irandoc/mathpro98> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3281>, <http://www.irandoc.acir/onto/irandoc/mathpro2050>, <http://www.irandoc.acir/onto/irandoc/math0009542> ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro92> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro3228> ;
  skos:prefLabel "space"@en, "فضا"@fa ;
  ns0:comment <http://en.wikipedia.org/wiki/space> ;
  ns0:defines <http://www.irandoc.acir/onto/irandoc/mathpro1458> .

<http://www.irandoc.acir/onto/irandoc/math0009536>
  skos:prefLabel "خطوط متنافر"@fa, "skew lines"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro146>
  skos:prefLabel "فضای ویل"@fa, "weyl space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro1458>
  skos:prefLabel "کلاف تاری"@fa, "بسته فیبر"@fa, "fiber bundle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro97> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .
<http://www.irandoc.acir/onto/irandoc/mathpro140>
  skos:prefLabel "فضای فشرده متوالی کسری"@fa, "fractional sequentially compact space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro181>
  skos:prefLabel "فضای توپولوژیک"@fa, "فضای توپولوژیکی"@fa, "topological space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro153> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .
<http://www.irandoc.acir/onto/irandoc/mathpro166>
  skos:prefLabel "فضای توابع پیوسته"@fa, "space of continuous functions"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro138>
  skos:prefLabel "فضای استاندارد"@fa, "standardized space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro179>
  skos:prefLabel "فضای اسپینور"@fa, "spinor space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro160>
  skos:prefLabel "فضای وزنی"@fa, "weighted space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro173>
  skos:prefLabel "فضای تست تابع"@fa, "space of testing function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro2492>
  skos:prefLabel "هم-هسته"@fa, "co-kernel"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro117>
  skos:prefLabel "فضای برداری"@fa, "vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

ns0:defines rdfs:label "تعریف می کند"@fa, "defines"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro3228>
  skos:prefLabel "هندسه دیفرانسیل"@fa, "differential geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009542>
  skos:prefLabel "هندسه فضایی"@fa, "solid geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro165>
  skos:prefLabel "فضا بر فراز جبر"@fa, "space over algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro137>
  skos:prefLabel "فضای غیرقابل تفکیک"@fa, "nonseparable space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro178> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .
<http://www.irandoc.acir/onto/irandoc/mathpro172>
  skos:prefLabel "فضای مشابه همگن"@fa, "similarly homogeneous space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro116>
  skos:prefLabel "فضای کاهلری"@fa, "kahlerian space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
ns0:is_defined_by rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro151> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .
<http://www.irandoc.acir/onto/irandoc/mathpro2596>
  skos:prefLabel "فضای لورنتس"@fa, "lorentz space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro2414>
  skos:prefLabel "weight space"@en, "فضای وزنی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro164>
  skos:prefLabel "فضای موضعا محدب"@fa, "فضای محدب موضعی"@fa, "locally convex space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro177> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .
<http://www.irandoc.acir/onto/irandoc/math0009539>
  skos:prefLabel "نیم‌فضا"@fa, "halfspace"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro149>
  skos:prefLabel "فضای سوبلیف"@fa, "فضای سوبولف"@fa, "sobolev space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro2050>
  skos:prefLabel "عنصر آنالیز ریاضی"@fa, "element of mathematical analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro2383>
  skos:prefLabel "فضای آفین"@fa, "affine space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .

<http://www.irandoc.acir/onto/irandoc/mathpro171> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .
<http://www.irandoc.acir/onto/irandoc/mathpro115>
  skos:prefLabel "فضای همدیس"@fa, "conformal space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92> .