@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/math0008940>
  skos:prefLabel "قضیه کیلی"@fa, "cayley theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008849>
  skos:prefLabel "ترانهش"@fa, "transposition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1304> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro1304>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008940>, <http://www.irandoc.acir/onto/irandoc/math0009018>, <http://www.irandoc.acir/onto/irandoc/math0009006>, <http://www.irandoc.acir/onto/irandoc/math0002607>, <http://www.irandoc.acir/onto/irandoc/math0004137>, <http://www.irandoc.acir/onto/irandoc/math0009925>, <http://www.irandoc.acir/onto/irandoc/math0007433>, <http://www.irandoc.acir/onto/irandoc/math0002586>, <http://www.irandoc.acir/onto/irandoc/math0008849> ;
  skos:prefLabel "گروه جایگشت"@fa, "گروه جایگشت ها"@fa, "permutation group"@en ;
  skos:altLabel "گروه جایگشتی"@fa, "" ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro1304> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1275> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/0>, <http://www.irandoc.acir/onto/irandoc/math0008973> .

<http://www.irandoc.acir/onto/irandoc/math0009006>
  skos:prefLabel "گروه فروبنیوس"@fa, "frobenius group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007433>
  skos:prefLabel "جایگشت"@fa, "permutation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009925>
  skos:prefLabel "گروه متقارن تعمیم‌یافته"@fa, "generalized symmetric group"@en ;
  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/math0009018>
  skos:prefLabel "گروه متناوب"@fa, "alternating group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0002586>
  skos:prefLabel "لم برنساید"@fa, "burnside lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004137>
  skos:prefLabel "قضیه گالوا"@fa, "galois theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008973>
  skos:prefLabel "symmetric group"@en, "گروه متقارن"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1304> .

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