@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/math0006307>
  skos:prefLabel "گروه لی حقیقی"@fa, "real lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro2347> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/mathpro1355>
  skos:prefLabel "گروه ساده"@fa, "simple group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro3433> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/math0010012>
  skos:prefLabel "مشتقات لی"@fa, "lie derivatives"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0006301>
  skos:prefLabel "ساختار گروه لی حقیقی"@fa, "structure of real lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0006314>
  skos:prefLabel "نمایش گروه جبری خطی"@fa, "representation of linear algebraic group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro3440>
  skos:prefLabel "گروه دروغ مجازی"@fa, "virtual lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0003935>
  skos:prefLabel "فضای رده‌بندی"@fa, "classifying space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003948>
  skos:prefLabel "گروه صوری"@fa, "formal group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro11>
  skos:prefLabel "مرکز گروه لی"@fa, "lie group center"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0006306>
  skos:prefLabel "گروه لی پی‌ای"@fa, "p-adic lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro733> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/mathpro3432> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/mathpro3445> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/math0006300>
  skos:prefLabel "ساختار گروه لورنتس"@fa, "structure of lorentz group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0006313>
  skos:prefLabel "گروه‌وار لی"@fa, "lie groupoid"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0006326>
  skos:prefLabel "گروه‌های توپولوژیک"@fa, "topological groups"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009977>
  skos:prefLabel "خمینه همگن"@fa, "homogeneous manifold"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro433> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/mathpro10>
  skos:prefLabel "جزء متصل هویت"@fa, "connected component of the identity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0006305>
  skos:prefLabel "گروه لی پوچ توان"@fa, "nilpotent lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0009984>
  skos:prefLabel "متر ناوردا"@fa, "invariant metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3431>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro3440>, <http://www.irandoc.acir/onto/irandoc/math0006303>, <http://www.irandoc.acir/onto/irandoc/math0006301>, <http://www.irandoc.acir/onto/irandoc/math0006306>, <http://www.irandoc.acir/onto/irandoc/math0006310>, <http://www.irandoc.acir/onto/irandoc/mathpro11>, <http://www.irandoc.acir/onto/irandoc/mathpro3443>, <http://www.irandoc.acir/onto/irandoc/mathpro1355>, <http://www.irandoc.acir/onto/irandoc/math0006308>, <http://www.irandoc.acir/onto/irandoc/mathpro3441>, <http://www.irandoc.acir/onto/irandoc/math0006305>, <http://www.irandoc.acir/onto/irandoc/math0006309>, <http://www.irandoc.acir/onto/irandoc/mathpro10>, <http://www.irandoc.acir/onto/irandoc/math0006316>, <http://www.irandoc.acir/onto/irandoc/math0006315>, <http://www.irandoc.acir/onto/irandoc/mathpro6>, <http://www.irandoc.acir/onto/irandoc/math0006313>, <http://www.irandoc.acir/onto/irandoc/math0006298>, <http://www.irandoc.acir/onto/irandoc/math0006307>, <http://www.irandoc.acir/onto/irandoc/math0006304>, <http://www.irandoc.acir/onto/irandoc/math0006302>, <http://www.irandoc.acir/onto/irandoc/mathpro9>, <http://www.irandoc.acir/onto/irandoc/math0006312>, <http://www.irandoc.acir/onto/irandoc/math0006299>, <http://www.irandoc.acir/onto/irandoc/math0006311>, <http://www.irandoc.acir/onto/irandoc/math0006300>, <http://www.irandoc.acir/onto/irandoc/0>, <http://www.irandoc.acir/onto/irandoc/math0006314>, <http://www.irandoc.acir/onto/irandoc/mathpro5>, <http://www.irandoc.acir/onto/irandoc/mathpro4>, <http://www.irandoc.acir/onto/irandoc/mathpro3447>, <http://www.irandoc.acir/onto/irandoc/math0006317> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008987>, <http://www.irandoc.acir/onto/irandoc/math0003999>, <http://www.irandoc.acir/onto/irandoc/math0010012>, <http://www.irandoc.acir/onto/irandoc/math0004153>, <http://www.irandoc.acir/onto/irandoc/math0003958>, <http://www.irandoc.acir/onto/irandoc/math0001938>, <http://www.irandoc.acir/onto/irandoc/math0009991>, <http://www.irandoc.acir/onto/irandoc/math0003935>, <http://www.irandoc.acir/onto/irandoc/math0003950>, <http://www.irandoc.acir/onto/irandoc/math0009977>, <http://www.irandoc.acir/onto/irandoc/math0008946>, <http://www.irandoc.acir/onto/irandoc/math0003809>, <http://www.irandoc.acir/onto/irandoc/math0003829>, <http://www.irandoc.acir/onto/irandoc/math0003832>, <http://www.irandoc.acir/onto/irandoc/math0009984>, <http://www.irandoc.acir/onto/irandoc/math0008747>, <http://www.irandoc.acir/onto/irandoc/math0003948>, <http://www.irandoc.acir/onto/irandoc/math0004280>, <http://www.irandoc.acir/onto/irandoc/math0004902> ;
  skos:prefLabel "گروه دروغ"@fa, "lie group"@en, "گروه لی"@fa ;
  ns0:comment <http://en.wikipedia.org/wiki/lie_group> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3429>, <http://www.irandoc.acir/onto/irandoc/mathpro1372>, <http://www.irandoc.acir/onto/irandoc/math0006326> ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro3431> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:scopeNote "گروهی توپولوژیک که خمینه ای مشتق پذیر نیز هست به گونه ای که عمل های گروه خودشان توابعی تحلیلی اند."@fa .

<http://www.irandoc.acir/onto/irandoc/mathpro494> ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/mathpro3429>
  skos:prefLabel "خمینه مشتق‌پذیر"@fa, "منیفولد دیفرانسیل‌پذیر"@fa, "differentiable manifold"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0006312>
  skos:prefLabel "گروه لی نیم‌ساده"@fa, "semi-simple lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0009991>
  skos:prefLabel "ساختار جی‌دو"@fa, "g2-structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro6>
  skos:prefLabel "گروه نیمه ساده"@fa, "semisimple group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro3449> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/math0006304>
  skos:prefLabel "قضیه کرونکر"@fa, "kronecker theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0006317>
  skos:prefLabel "همانستگی پیوسته"@fa, "continuous cohomology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro3443>
  skos:prefLabel "گروه کلیفورد"@fa, "the clifford group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro2398> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/math0006311>
  skos:prefLabel "گروه لی نامتناهی‌بعد"@fa, "infinite-dimensional lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0006299>
  skos:prefLabel "زیرگروه گسسته"@fa, "discrete subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro5>
  skos:prefLabel "گروه لی تک‌جمله‌ای"@fa, "one-term lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro365> ns0:defines <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/mathpro1372>
  skos:prefLabel "گروه توپولوژیکی"@fa, "topological group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0006309>
  skos:prefLabel "گروه لی مختلط"@fa, "complex lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<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 .

<http://www.irandoc.acir/onto/irandoc/math0003958>
  skos:prefLabel "نظریه چرن-وایل"@fa, "chern-weil theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003999>
  skos:prefLabel "رده هموتوپی"@fa, "homotopy class"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0006303>
  skos:prefLabel "قضیه دوگانی پونتریاگین"@fa, "pontrjagin duality theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0006316>
  skos:prefLabel "representation of lie group"@en, "نمایش گروه لی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004153>
  skos:prefLabel "انقباض گروه"@fa, "group contraction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro1210> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/math0006310>
  skos:prefLabel "گروه لی موضعی"@fa, "local lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/math0006298>
  skos:prefLabel "جبر لی گروه لی"@fa, "lie algebra of lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro2350> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3431> .
<http://www.irandoc.acir/onto/irandoc/mathpro4>
  skos:prefLabel "زیرگروه تک پارامتری از گروه لی"@fa, "one-parameter subgroup of lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<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 .

<http://www.irandoc.acir/onto/irandoc/math0001938>
  skos:prefLabel "آنالیز همساز مجرد"@fa, "abstract harmonic analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008747>
  skos:prefLabel "نظریه کوانتومی"@fa, "quantum theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0006308>
  skos:prefLabel "گروه لی حلپذیر"@fa, "solvable lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro3447>
  skos:prefLabel "گروه پوانکاره"@fa, "poincare group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0004280>
  skos:prefLabel "حلقه لی"@fa, "lie ring"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0006302>
  skos:prefLabel "ساختار گروه لی مختلط"@fa, "structure of complex lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0004902>
  skos:prefLabel "ماتریس نمایی"@fa, "exponential matrix"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math0006315>
  skos:prefLabel "نمایش گروه جبری لی"@fa, "representation of lie algebraic group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro9>
  skos:prefLabel "زیرگروه منظم از گروه لی"@fa, "regular subgroup of lie group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/mathpro3441>
  skos:prefLabel "گروه متعامد"@fa, "orthogonal group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3431> .

<http://www.irandoc.acir/onto/irandoc/math0008946>
  skos:prefLabel "گروه انگل"@fa, "engel group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008987>
  skos:prefLabel "گروه دایره‌ای"@fa, "circle group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .