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

<http://www.irandoc.acir/onto/irandoc/math0005385>
  skos:prefLabel "نسبت زرین"@fa, "golden ratio"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1243> .

<http://www.irandoc.acir/onto/irandoc/math0005394>
  skos:prefLabel "اعداد"@fa, "numbers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0005384>
  skos:prefLabel "عدد نپر"@fa, "napier number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1243> .

<http://www.irandoc.acir/onto/irandoc/math0005383>
  skos:prefLabel "عدد علامت‌دار"@fa, "signed number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1243> .

<http://www.irandoc.acir/onto/irandoc/mathpro1243>
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "عدد حقیقی"@fa, "real number"@en ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004653>, <http://www.irandoc.acir/onto/irandoc/math0009191>, <http://www.irandoc.acir/onto/irandoc/math0007038>, <http://www.irandoc.acir/onto/irandoc/math0005380>, <http://www.irandoc.acir/onto/irandoc/math0003735>, <http://www.irandoc.acir/onto/irandoc/math0007212>, <http://www.irandoc.acir/onto/irandoc/math0009353>, <http://www.irandoc.acir/onto/irandoc/math0007659>, <http://www.irandoc.acir/onto/irandoc/math0001563>, <http://www.irandoc.acir/onto/irandoc/math0001212>, <http://www.irandoc.acir/onto/irandoc/math0001220>, <http://www.irandoc.acir/onto/irandoc/math0005116> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0005394>, <http://www.irandoc.acir/onto/irandoc/mathpro1242> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0005384>, <http://www.irandoc.acir/onto/irandoc/math0005383>, <http://www.irandoc.acir/onto/irandoc/math0005385>, <http://www.irandoc.acir/onto/irandoc/math0005381>, <http://www.irandoc.acir/onto/irandoc/math0005382> .

<http://www.irandoc.acir/onto/irandoc/math0009353>
  skos:prefLabel "مستطیل"@fa, "rectangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0005382>
  skos:prefLabel "عدد دهدهی"@fa, "decimal number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1243> .

<http://www.irandoc.acir/onto/irandoc/mathpro1242>
  skos:prefLabel "عدد تحت‌اللفظی"@fa, "literal number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1243> .

<http://www.irandoc.acir/onto/irandoc/math0001563>
  skos:prefLabel "قضیه اشتورم"@fa, "sturm theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004653>
  skos:prefLabel "جبر ماکس-مثبت"@fa, "max-plus algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009191>
  skos:prefLabel "میدان مرتب"@fa, "ordered field"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003735>
  skos:prefLabel "قضیه هاینه-بورل"@fa, "heine-borel theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007659>
  skos:prefLabel "اعداد حقیقی نااستاندارد"@fa, "non-standard real number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001212>
  skos:prefLabel "آنالیز حقیقی"@fa, "real analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0005381>
  skos:prefLabel "عدد پی"@fa, "pi number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1243> .

<http://www.irandoc.acir/onto/irandoc/math0007212>
  skos:prefLabel "ساخت‌گرایی روسی"@fa, "russian constactivism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007038>
  skos:prefLabel "معیار راوث-هورویتس"@fa, "routh-hurwitz criterion"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0005116>
  skos:prefLabel "متغیر حقیقی"@fa, "real variable"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0005380>
  skos:prefLabel "عدد اصم"@fa, "irrational number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001220>
  skos:prefLabel "نامساوی هاردی"@fa, "hardy inequality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .