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

<http://www.irandoc.acir/onto/irandoc/mathpro806> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3432> .
<http://www.irandoc.acir/onto/irandoc/math0001865>
  skos:prefLabel "عملگر کازیمیر"@fa, "casimir operator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/mathpro3433> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .
<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/math0004157>
  skos:prefLabel "جبر لی پوچتوان"@fa, "nilpotent liie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0001872>
  skos:prefLabel "قضیه لی-کولچین"@fa, "lie-kolchin theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3440> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3432> .
<http://www.irandoc.acir/onto/irandoc/mathpro421> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3432> .
<http://www.irandoc.acir/onto/irandoc/math0009880>
  skos:prefLabel "نظریه میدان‌های همدیس"@fa, "conformal field theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004164>
  skos:prefLabel "حاصل ضرب لی"@fa, "lie product"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/mathpro3438>
  skos:prefLabel "زیرجبر اصلی جبر لی"@fa, "principal subalgebra of lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0004171>
  skos:prefLabel "قانون پادتعویض‌پذیر"@fa, "anti-commutative law"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro733> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3432> .
<http://www.irandoc.acir/onto/irandoc/mathpro3432>
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004175>, <http://www.irandoc.acir/onto/irandoc/mathpro117>, <http://www.irandoc.acir/onto/irandoc/mathpro3431> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001934>, <http://www.irandoc.acir/onto/irandoc/math0006298>, <http://www.irandoc.acir/onto/irandoc/math0008946>, <http://www.irandoc.acir/onto/irandoc/math0005587>, <http://www.irandoc.acir/onto/irandoc/math0004280>, <http://www.irandoc.acir/onto/irandoc/math0009880>, <http://www.irandoc.acir/onto/irandoc/math0002396>, <http://www.irandoc.acir/onto/irandoc/math0009890>, <http://www.irandoc.acir/onto/irandoc/math0001002>, <http://www.irandoc.acir/onto/irandoc/math0001872>, <http://www.irandoc.acir/onto/irandoc/math0004146>, <http://www.irandoc.acir/onto/irandoc/math0004107>, <http://www.irandoc.acir/onto/irandoc/math0006316>, <http://www.irandoc.acir/onto/irandoc/math0001867>, <http://www.irandoc.acir/onto/irandoc/math0001865>, <http://www.irandoc.acir/onto/irandoc/math0009195>, <http://www.irandoc.acir/onto/irandoc/math0009575>, <http://www.irandoc.acir/onto/irandoc/math0009037>, <http://www.irandoc.acir/onto/irandoc/math0004117>, <http://www.irandoc.acir/onto/irandoc/math0010012>, <http://www.irandoc.acir/onto/irandoc/math0009868>, <http://www.irandoc.acir/onto/irandoc/math0008036>, <http://www.irandoc.acir/onto/irandoc/math0004145>, <http://www.irandoc.acir/onto/irandoc/math0004171>, <http://www.irandoc.acir/onto/irandoc/math0004106>, <http://www.irandoc.acir/onto/irandoc/math0005519> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0004165>, <http://www.irandoc.acir/onto/irandoc/math0004163>, <http://www.irandoc.acir/onto/irandoc/mathpro3435>, <http://www.irandoc.acir/onto/irandoc/math0004157>, <http://www.irandoc.acir/onto/irandoc/math0004167>, <http://www.irandoc.acir/onto/irandoc/math0004161>, <http://www.irandoc.acir/onto/irandoc/mathpro3437>, <http://www.irandoc.acir/onto/irandoc/math0004154>, <http://www.irandoc.acir/onto/irandoc/math0004159>, <http://www.irandoc.acir/onto/irandoc/math0004158>, <http://www.irandoc.acir/onto/irandoc/math0004156>, <http://www.irandoc.acir/onto/irandoc/math0004155>, <http://www.irandoc.acir/onto/irandoc/math0004166>, <http://www.irandoc.acir/onto/irandoc/math0004164>, <http://www.irandoc.acir/onto/irandoc/mathpro3436>, <http://www.irandoc.acir/onto/irandoc/mathpro3434>, <http://www.irandoc.acir/onto/irandoc/math0004168>, <http://www.irandoc.acir/onto/irandoc/math0004162>, <http://www.irandoc.acir/onto/irandoc/math0004160>, <http://www.irandoc.acir/onto/irandoc/mathpro3438>, <http://www.irandoc.acir/onto/irandoc/math0004153> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  ns0:belongs_to <http://www.irandoc.acir/onto/irandoc/mathpro3285> ;
  skos:prefLabel "lie algebra"@en, "جبر لی"@fa ;
  ns0:comment <http://en.wikipedia.org/wiki/lie_algebra> ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0004156>
  skos:prefLabel "جبر لی آفین"@fa, "affine lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

ns0:belongs_to rdfs:label "متعلق است به"@fa, "belongs to"@en .
<http://www.irandoc.acir/onto/irandoc/math0005519>
  skos:prefLabel "قضیه نوتر"@fa, "noether theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004163>
  skos:prefLabel "جبر لی هایزنبرگ"@fa, "heisenberg lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0004107>
  skos:prefLabel "جبر پواسون"@fa, "poisson algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3437>
  skos:prefLabel "جبر ساده لی"@fa, "simple lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

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

<http://www.irandoc.acir/onto/irandoc/math0004155>
  skos:prefLabel "جبر لی آبلی"@fa, "abelian lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0004168>
  skos:prefLabel "هم‌جبر لی"@fa, "lie coalgebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

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

<http://www.irandoc.acir/onto/irandoc/math0005587>
  skos:prefLabel "دستگاه همیلتنی نامتناهی‌بعد"@fa, "infinite hamiltonian system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004162>
  skos:prefLabel "جبر لی مدرج"@fa, "graded lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0004106>
  skos:prefLabel "جبر آزومایا"@fa, "azumaya algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

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

<http://www.irandoc.acir/onto/irandoc/math0004175>
  skos:prefLabel "جبر شرکت‌ناپذیر"@fa, "non-associative algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3436>
  skos:prefLabel "جبر لی نیمه ساده"@fa, "semisimple lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0001934>
  skos:prefLabel "representation of lie algebra"@en, "نمایش جبر لی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/math0001002>
  skos:prefLabel "جبر سه‌تایی"@fa, "ternary algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<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/math0004154>
  skos:prefLabel "جبر لی الحاقی"@fa, "adjoint lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/mathpro493> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3432> .
<http://www.irandoc.acir/onto/irandoc/math0004167>
  skos:prefLabel "زیرجبر بورل"@fa, "borel subalgebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0009868>
  skos:prefLabel "جبر لی همدیس"@fa, "conformal lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro1237> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3432> .
<http://www.irandoc.acir/onto/irandoc/math0004161>
  skos:prefLabel "جبر لی محدود"@fa, "restricted lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0009890>
  skos:prefLabel "هندسه همدیس"@fa, "conformal geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004146>
  skos:prefLabel "اتحاد ژاکوبی"@fa, "jacobi identity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001867>
  skos:prefLabel "فرمول مشخصه کریلوف"@fa, "kirillov character formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3435>
  skos:prefLabel "زیرجبر دکارتی"@fa, "cartan subalgebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0004159>
  skos:prefLabel "جبر لی خارج قسمتی"@fa, "quotient lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

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

<http://www.irandoc.acir/onto/irandoc/math0004166>
  skos:prefLabel "زیر جبر لی"@fa, "lie subalgebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/mathpro822> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3432> .
<http://www.irandoc.acir/onto/irandoc/math0009575>
  skos:prefLabel "صورت آفین"@fa, "affine form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<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:related <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/math0004160>
  skos:prefLabel "جبر لی کامل"@fa, "perfect lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0004145>
  skos:prefLabel "جبر شرکت‌پذیر"@fa, "associative algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro2348> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3432> .
<http://www.irandoc.acir/onto/irandoc/math0004117>
  skos:prefLabel "جبر لی مدرج دیفرانسیلی"@fa, "differential graded lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3434>
  skos:prefLabel "جبر لی فشرده"@fa, "compact lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<http://www.irandoc.acir/onto/irandoc/math0004158>
  skos:prefLabel "جبر لی تحویلی"@fa, "reductive lie algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .

<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/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/math0004165>
  skos:prefLabel "دوجبر لی"@fa, "lie bialgebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3432> .