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

<http://www.irandoc.acir/onto/irandoc/mathpro113>
  skos:prefLabel "هندسه ریمانی"@fa, "riemannian geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0009805> .

<http://www.irandoc.acir/onto/irandoc/math0009821>
  skos:prefLabel "خمیدگی اسکالر"@fa, "scalar curvature"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0009805> .

<http://www.irandoc.acir/onto/irandoc/math0009804>
  skos:prefLabel "نابرابری بیشاپ"@fa, "bishop inequality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0009805> .

<http://www.irandoc.acir/onto/irandoc/mathpro818> skos:related <http://www.irandoc.acir/onto/irandoc/math0009805> .
<http://www.irandoc.acir/onto/irandoc/math0009802>
  skos:prefLabel "قضیه مایر"@fa, "myer theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0009805> .

<http://www.irandoc.acir/onto/irandoc/math0009800>
  skos:prefLabel "قضیه شکافنده"@fa, "splitting theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0009805> .

<http://www.irandoc.acir/onto/irandoc/math0009805>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0009821> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0009800>, <http://www.irandoc.acir/onto/irandoc/math0009802>, <http://www.irandoc.acir/onto/irandoc/math0009804>, <http://www.irandoc.acir/onto/irandoc/math0009801>, <http://www.irandoc.acir/onto/irandoc/math0009803> ;
  skos:prefLabel "خمیدگی مثبت ریچی"@fa, "positive ricci curvature"@en ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:altLabel "", "انحنای مثبت ریچی"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro113> .

<http://www.irandoc.acir/onto/irandoc/math0009803>
  skos:prefLabel "متر گرومو-هاسدورف"@fa, "gromov-hausdorff metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0009805> .

<http://www.irandoc.acir/onto/irandoc/math0009801>
  skos:prefLabel "قضیه فشردگی گرومو"@fa, "gromov compactness theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0009805> .