@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/math0007519>
  skos:prefLabel "پالایه"@fa, "filter"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro2567> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/mathpro2439> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/math0003897>
  skos:prefLabel "نگاشت پیوسته"@fa, "continuous mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/mathpro2420> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/math0004023>
  skos:prefLabel "همانستگی تکین"@fa, "singular cohomology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math0004015>
  skos:prefLabel "بعد همانستگی"@fa, "cohomological dimension"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro520> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/math0002822>
  skos:prefLabel "درخت متری"@fa, "metric tree"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0002392>
  skos:prefLabel "دوگانی حافظ بعد"@fa, "dimension-reversing dualitie"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004967>
  skos:prefLabel "جبر خطی"@fa, "linear algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro418> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/mathpro1>
  skos:prefLabel "رشته ریاضیات"@fa, "field of mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/mathpro195> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/math0002384>
  skos:prefLabel "نظریه طراحی شکل بهینه"@fa, "optimal shape design theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007545>
  skos:prefLabel "نظریه توصیفی مجموعه‌ها"@fa, "descriptive set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math0001085>
  skos:prefLabel "توپولوژی نرمی"@fa, "norm topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007637>
  skos:prefLabel "توپولوژی استون"@fa, "stone topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/mathpro532> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/mathpro1458> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/math0003641>
  skos:prefLabel "توپولوژی تعویض‌نا‌پذیر"@fa, "non-commutative topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/mathpro972> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/mathpro1232> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/mathpro1258> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/math0002396>
  skos:prefLabel "دوگانی کژول"@fa, "koszul duality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003646>
  skos:prefLabel "توپولوژی دیفرانسیل"@fa, "differential topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/math0003866>
  skos:prefLabel "نظریه بعد"@fa, "dimension theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0010142>
  skos:prefLabel "ریاضیات"@fa, "mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0002319>
  skos:prefLabel "بهینه سازی توپولوژی"@fa, "topology optimisation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003640>
  skos:prefLabel "توپولوژی ترکیبیاتی"@fa, "combinatorial topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/math0003832>
  skos:prefLabel "توپولوژی هندسی"@fa, "geometric topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/math0008036>
  skos:prefLabel "گروه ناپیوسته"@fa, "discontinuous group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003886>
  skos:prefLabel "نقطه ثابت"@fa, "fixed point"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/mathpro398>
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/mathpro2535> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/mathpro991> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/math0003809>
  skos:prefLabel "توپولوژی عمومی"@fa, "general topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/mathpro430> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/math0004936>
  skos:prefLabel "نقطه انطباق"@fa, "coincidence point"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro889> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/mathpro443> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/math0001100>
  skos:prefLabel "فضای برداری توپولوژیک نرم‌پذیر"@fa, "normable topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1668>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007545>, <http://www.irandoc.acir/onto/irandoc/math0002319>, <http://www.irandoc.acir/onto/irandoc/math0004936>, <http://www.irandoc.acir/onto/irandoc/math0002384>, <http://www.irandoc.acir/onto/irandoc/math0008036>, <http://www.irandoc.acir/onto/irandoc/math0001223>, <http://www.irandoc.acir/onto/irandoc/math0001100>, <http://www.irandoc.acir/onto/irandoc/math0004967>, <http://www.irandoc.acir/onto/irandoc/math0007637>, <http://www.irandoc.acir/onto/irandoc/math0004015>, <http://www.irandoc.acir/onto/irandoc/math0007519>, <http://www.irandoc.acir/onto/irandoc/math0002429>, <http://www.irandoc.acir/onto/irandoc/math0004649>, <http://www.irandoc.acir/onto/irandoc/math0002396>, <http://www.irandoc.acir/onto/irandoc/math0002822>, <http://www.irandoc.acir/onto/irandoc/math0001085>, <http://www.irandoc.acir/onto/irandoc/math0002392>, <http://www.irandoc.acir/onto/irandoc/math0004023> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1>, <http://www.irandoc.acir/onto/irandoc/math0010142> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0003810>, <http://www.irandoc.acir/onto/irandoc/math0003809>, <http://www.irandoc.acir/onto/irandoc/0>, <http://www.irandoc.acir/onto/irandoc/math0003866>, <http://www.irandoc.acir/onto/irandoc/math0003641>, <http://www.irandoc.acir/onto/irandoc/math0003832>, <http://www.irandoc.acir/onto/irandoc/math0003897>, <http://www.irandoc.acir/onto/irandoc/math0003886>, <http://www.irandoc.acir/onto/irandoc/math0003640>, <http://www.irandoc.acir/onto/irandoc/math0003646> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  ns0:comment <http://en.wikipedia.org/wiki/topology> ;
  skos:prefLabel "توپولوژی"@fa, "topology"@en .

<http://www.irandoc.acir/onto/irandoc/math0003810>
  skos:prefLabel "توپولوژی هم‌وردا"@fa, "equivariant topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1668> .

<http://www.irandoc.acir/onto/irandoc/mathpro407> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> .
<http://www.irandoc.acir/onto/irandoc/math0004649>
  skos:prefLabel "پاد‌حلقه"@fa, "antiring"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .