@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/mathpro2361>
  skos:prefLabel "فرمالیسم هامیلتونی کارتن"@fa, "hamiltonian cartan formalism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro2348>
  skos:prefLabel "تجزیه کارتن"@fa, "cartan decomposition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro2360>
  skos:prefLabel "معادله واینگارتن"@fa, "weingarten equation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro1030> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .
<http://www.irandoc.acir/onto/irandoc/mathpro2347>
  skos:prefLabel "تجزیه ایواساوا"@fa, "iwasawa decomposition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro2592>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro2345>, <http://www.irandoc.acir/onto/irandoc/mathpro2358>, <http://www.irandoc.acir/onto/irandoc/mathpro2352>, <http://www.irandoc.acir/onto/irandoc/mathpro2355>, <http://www.irandoc.acir/onto/irandoc/mathpro2350>, <http://www.irandoc.acir/onto/irandoc/mathpro2362>, <http://www.irandoc.acir/onto/irandoc/mathpro2444>, <http://www.irandoc.acir/onto/irandoc/mathpro2348>, <http://www.irandoc.acir/onto/irandoc/mathpro2353>, <http://www.irandoc.acir/onto/irandoc/mathpro2360>, <http://www.irandoc.acir/onto/irandoc/mathpro2347>, <http://www.irandoc.acir/onto/irandoc/mathpro2471>, <http://www.irandoc.acir/onto/irandoc/mathpro2344>, <http://www.irandoc.acir/onto/irandoc/mathpro2354>, <http://www.irandoc.acir/onto/irandoc/0>, <http://www.irandoc.acir/onto/irandoc/mathpro2361>, <http://www.irandoc.acir/onto/irandoc/mathpro2496> ;
  ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro1262> ;
  skos:prefLabel "identity"@en, "هویت"@fa ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro2592> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2050>, <http://www.irandoc.acir/onto/irandoc/mathpro2667>, <http://www.irandoc.acir/onto/irandoc/mathpro1249> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro2350>
  skos:prefLabel "تجزیه لوی-مالزف"@fa, "levi-malzev decomposition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro1262>
  skos:prefLabel "عدد مثبت"@fa, "positive number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1249>
  skos:prefLabel "عدد اول"@fa, "prime number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

ns0:contains rdfs:label "شامل"@fa, "contains"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro2355>
  skos:prefLabel "هویت هیلبرت"@fa, "hilbert identity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro2345>
  skos:prefLabel "برابری پارسوال"@fa, "parseval equality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro2444>
  skos:prefLabel "معادله تفاضل محدود"@fa, "finite-difference equation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro2667>
  skos:prefLabel "شیء دانش ریاضی"@fa, "mathematical knowledge object"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro2354>
  skos:prefLabel "هویت بیانکی"@fa, "bianchi identity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<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/mathpro2344>
  skos:prefLabel "نابرابری مثلثی"@fa, "triangle inequality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro2471>
  skos:prefLabel "معادلات گاوس کوداتزی"@fa, "gauss codazzi equations"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro2353>
  skos:prefLabel "هویت فیرز"@fa, "fierz identity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro2362>
  skos:prefLabel "فرمول‌های فرنه سرت"@fa, "frenet serret formulas"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro1137> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .
<http://www.irandoc.acir/onto/irandoc/mathpro2352>
  skos:prefLabel "معادله ساختاری"@fa, "structural equation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .

<http://www.irandoc.acir/onto/irandoc/mathpro2358>
  skos:prefLabel "معادلات ماکسول"@fa, "maxwell/s equations"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2592> .