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

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

<http://www.irandoc.acir/onto/irandoc/mathpro992>
  skos:prefLabel "معادله"@fa, "equation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro1273>
  skos:prefLabel "عنصری از نظریه جبر"@fa, "element of the theory of algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro2370>
  skos:prefLabel "عنصری از نظریه اعداد"@fa, "element of the theory of numbers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro765>
  skos:prefLabel "تانسور"@fa, "tensor"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro1099>
  skos:prefLabel "فرمول"@fa, "formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro826>
  skos:prefLabel "قضیه"@fa, "theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro2536>
  skos:prefLabel "تعریف"@fa, "definition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro736> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .
<http://www.irandoc.acir/onto/irandoc/mathpro2592> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .
<http://www.irandoc.acir/onto/irandoc/mathpro380>
  skos:prefLabel "نگاشت"@fa, "نقشه"@fa, "map"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro2839>
  skos:prefLabel "روش"@fa, "method"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro1565>
  skos:prefLabel "عنصر نظریه احتمال"@fa, "element of probability theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro338>
  skos:prefLabel "عملیات"@fa, "operation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro2175> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .
<http://www.irandoc.acir/onto/irandoc/mathpro2729>
  skos:prefLabel "شیء هندسی"@fa, "geometric object"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://rdf-vocabulary.ddialliance.org/xkos#label> rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro2568>
  skos:prefLabel "حدس"@fa, "conjecture"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro2667>
  skos:prefLabel "mathematical knowledge object"@en, "شیء دانش ریاضی"@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1876>, <http://www.irandoc.acir/onto/irandoc/mathpro1194>, <http://www.irandoc.acir/onto/irandoc/mathpro826>, <http://www.irandoc.acir/onto/irandoc/mathpro2656>, <http://www.irandoc.acir/onto/irandoc/mathpro2536>, <http://www.irandoc.acir/onto/irandoc/mathpro1565>, <http://www.irandoc.acir/onto/irandoc/mathpro1241>, <http://www.irandoc.acir/onto/irandoc/mathpro2839>, <http://www.irandoc.acir/onto/irandoc/mathpro380>, <http://www.irandoc.acir/onto/irandoc/mathpro2380>, <http://www.irandoc.acir/onto/irandoc/mathpro338>, <http://www.irandoc.acir/onto/irandoc/mathpro255>, <http://www.irandoc.acir/onto/irandoc/mathpro2568>, <http://www.irandoc.acir/onto/irandoc/mathpro2370>, <http://www.irandoc.acir/onto/irandoc/mathpro2729>, <http://www.irandoc.acir/onto/irandoc/mathpro1099>, <http://www.irandoc.acir/onto/irandoc/mathpro992>, <http://www.irandoc.acir/onto/irandoc/mathpro765>, <http://www.irandoc.acir/onto/irandoc/mathpro2050>, <http://www.irandoc.acir/onto/irandoc/mathpro1042>, <http://www.irandoc.acir/onto/irandoc/mathpro228>, <http://www.irandoc.acir/onto/irandoc/mathpro1273>, <http://www.irandoc.acir/onto/irandoc/mathpro2470>, <http://www.irandoc.acir/onto/irandoc/mathpro3281>, <http://www.irandoc.acir/onto/irandoc/mathpro2505>, <http://www.irandoc.acir/onto/irandoc/mathpro1544> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<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 ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro2505>
  skos:prefLabel "برهان"@fa, "اثبات"@fa, "proof"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro1241>
  skos:prefLabel "شماره"@fa, "number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro228>
  skos:prefLabel "نامعادله"@fa, "نابرابری"@fa, "inequality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<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 ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro1876>
  skos:prefLabel "عنصر معادلات دیفرانسیل"@fa, "element of differential equations"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro1544>
  skos:prefLabel "عنصری از نظریه الگوریتم‌ها"@fa, "element of the theory of algorithms"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro1042>
  skos:prefLabel "عبارت"@fa, "بیانیه"@fa, "statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro1194>
  skos:prefLabel "ملک"@fa, "property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro2656>
  skos:prefLabel "مشکل"@fa, "problem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro255>
  skos:prefLabel "عملگر"@fa, "اپراتور"@fa, "operator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/mathpro2470>
  skos:prefLabel "مقید"@fa, "bound"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> .