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

<http://www.irandoc.acir/onto/irandoc/MAT0010062>
  skos:prefLabel "خمیدگی مقطعی"@fa, "sectional curvature"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009809> .

<http://www.irandoc.acir/onto/irandoc/MAT0003769>
  skos:prefLabel "metric space"@en, "فضای متری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009809> .

<http://www.irandoc.acir/onto/irandoc/MAT0009809>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0010013>, <http://www.irandoc.acir/onto/irandoc/MAT0010062>, <http://www.irandoc.acir/onto/irandoc/MAT0003769>, <http://www.irandoc.acir/onto/irandoc/MAT0009866>, <http://www.irandoc.acir/onto/irandoc/MAT0009873>, <http://www.irandoc.acir/onto/irandoc/MAT0003733>, <http://www.irandoc.acir/onto/irandoc/MAT0009990> ;
  skos:prefLabel "قضیه کارتان-آدامار"@fa, "Cartan–Hadamard theorem"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0009819> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:scopeNote "اگر Xفضای متریک همبند کاملی باشد که موضعا محدب است آن گاه پوشش عام X فضای ژئودزیک محدبی است"@fa .

<http://www.irandoc.acir/onto/irandoc/MAT0009990>
  skos:prefLabel "ژئودزیک"@fa, "geodesic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009809> .

<http://www.irandoc.acir/onto/irandoc/MAT0009866>
  skos:prefLabel "پوشش عام"@fa, "universal cover"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009809> .

<http://www.irandoc.acir/onto/irandoc/MAT0010013>
  skos:prefLabel "وابرریختی"@fa, "diffeomorphism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009809> .

<http://www.irandoc.acir/onto/irandoc/MAT0009873>
  skos:prefLabel "Euclidean space"@en, "فضای اقلیدسی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009809> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0003733>
  skos:prefLabel "فضای موضعا فشرده"@fa, "locally compact space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009809> .