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

<http://www.irandoc.acir/onto/irandoc/math0008131>
  skos:prefLabel "تابع فی اویلر"@fa, "euler phi function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002587> .

<http://www.irandoc.acir/onto/irandoc/math0002587>
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0002618> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0002586> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008131>, <http://www.irandoc.acir/onto/irandoc/math0002824>, <http://www.irandoc.acir/onto/irandoc/math0002548>, <http://www.irandoc.acir/onto/irandoc/math0002827>, <http://www.irandoc.acir/onto/irandoc/math0002579>, <http://www.irandoc.acir/onto/irandoc/math0002585> ;
  skos:prefLabel "inclusion-exclusion principle"@en, "اصل شمول و طرد"@fa ;
  skos:altLabel "", "اصل شمول وعدم شمول"@fa ;
  skos:scopeNote "تعداد عناصر موجود در اجتماع مجموعه متناهی b,a را می توان با افزودن تعداد عناصر a به تعداد عناصر b و کم کردن تعداد عناصر موجود در اشتراکa,b از مجموع حاصل، بدست آورد."@fa .

<http://www.irandoc.acir/onto/irandoc/math0002618>
  skos:prefLabel "ترکیبیات شمارشی"@fa, "enumerative combinatorics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0002587> .

<http://www.irandoc.acir/onto/irandoc/math0002548>
  skos:prefLabel "اصل وارون موبیوس"@fa, "principle of mobius inversion"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002587> .

<http://www.irandoc.acir/onto/irandoc/math0002824>
  skos:prefLabel "درخت نشان‌دار"@fa, "labeled tree"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002587> .

<http://www.irandoc.acir/onto/irandoc/math0002585>
  skos:prefLabel "پرمننت"@fa, "permanent"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002587> .

<http://www.irandoc.acir/onto/irandoc/math0002579>
  skos:prefLabel "ضرایب دوجمله‌ای"@fa, "binomial coefficients"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002587> .

<http://www.irandoc.acir/onto/irandoc/math0002827>
  skos:prefLabel "فرمول کیلی"@fa, "cayley formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002587> .

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

