@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/mathpro926>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro942>, <http://www.irandoc.acir/onto/irandoc/0>, <http://www.irandoc.acir/onto/irandoc/mathpro930>, <http://www.irandoc.acir/onto/irandoc/mathpro936>, <http://www.irandoc.acir/onto/irandoc/mathpro932>, <http://www.irandoc.acir/onto/irandoc/mathpro948>, <http://www.irandoc.acir/onto/irandoc/mathpro931>, <http://www.irandoc.acir/onto/irandoc/mathpro944>, <http://www.irandoc.acir/onto/irandoc/mathpro941>, <http://www.irandoc.acir/onto/irandoc/mathpro947>, <http://www.irandoc.acir/onto/irandoc/mathpro953>, <http://www.irandoc.acir/onto/irandoc/mathpro928>, <http://www.irandoc.acir/onto/irandoc/mathpro943>, <http://www.irandoc.acir/onto/irandoc/mathpro938>, <http://www.irandoc.acir/onto/irandoc/mathpro934>, <http://www.irandoc.acir/onto/irandoc/mathpro937>, <http://www.irandoc.acir/onto/irandoc/mathpro939>, <http://www.irandoc.acir/onto/irandoc/mathpro927>, <http://www.irandoc.acir/onto/irandoc/mathpro950>, <http://www.irandoc.acir/onto/irandoc/mathpro940> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826>, <http://www.irandoc.acir/onto/irandoc/mathpro1565> ;
  skos:prefLabel "probability theorem"@en, "قضیه احتمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro944>
  skos:prefLabel "قضیه محلی لاپلاس موور"@fa, "local de moivre laplace theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro953>
  skos:prefLabel "قضیه حد مرکزی"@fa, "central limit theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro934>
  skos:prefLabel "قضیه کیفر و ولفوویتز"@fa, "kiefer and wolfowitz theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro943>
  skos:prefLabel "انتگرال قضیه لاپلاس موور"@fa, "integral de moivre laplace theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro1565>
  skos:prefLabel "عنصر نظریه احتمال"@fa, "element of probability theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro939>
  skos:prefLabel "قضیه پیرسون نویمان"@fa, "neumann pearson theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro942>
  skos:prefLabel "قضیه چبیشف"@fa, "chebyshev theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro948>
  skos:prefLabel "قضیه تعمیم احتمال"@fa, "extension theorem of probability"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro938>
  skos:prefLabel "قضیه لیاپانوف"@fa, "lyapunov theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro941>
  skos:prefLabel "قضیه خینچین"@fa, "khinchin theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro947>
  skos:prefLabel "قضیه احتمال حدی"@fa, "theorem on limit probability"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro928>
  skos:prefLabel "قانون اعداد بزرگ"@fa, "the law of large numbers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro950>
  skos:prefLabel "قضیه حد"@fa, "limit theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro931>
  skos:prefLabel "قضیه بیز"@fa, "bayes theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro937>
  skos:prefLabel "قضیه لیندبرگ"@fa, "lindeberg theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro940>
  skos:prefLabel "قضیه پواسون"@fa, "poisson theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro927>
  skos:prefLabel "نسخه تقریباً قطعی"@fa, "almost certain version"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro930>
  skos:prefLabel "لم بورل-کانتلی"@fa, "borel-cantelli lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .

<http://www.irandoc.acir/onto/irandoc/mathpro936>
  skos:prefLabel "قضیه لبگ در مورد همگرایی غالب"@fa, "lebesgue theorem about dominated convergence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro926> .