@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/math0002587>
  skos:prefLabel "اصل شمول و طرد"@fa, "inclusion-exclusion principle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0002586> .

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

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

<http://www.irandoc.acir/onto/irandoc/math0009047>
  skos:prefLabel "مدار گروه"@fa, "orbit of group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002586> .