@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/mathpro629>
  skos:prefLabel "متریک داخلی"@fa, "interior metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro2460> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro616> .
<http://www.irandoc.acir/onto/irandoc/mathpro638>
  skos:prefLabel "شبه‌سنجی"@fa, "pseudometric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro1201>
  skos:prefLabel "قطر"@fa, "diameter"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro641>
  skos:prefLabel "متریک کروی"@fa, "spherical metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro622>
  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/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro2716>
  skos:prefLabel "متریک ذاتی"@fa, "intrinsical metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/math0001100>
  skos:prefLabel "فضای برداری توپولوژیک نرم‌پذیر"@fa, "normable topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro631>
  skos:prefLabel "متریک روی منیفولد"@fa, "metric on manifold"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro637>
  skos:prefLabel "هنجار محوری"@fa, "pivotal norm"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro1206>
  skos:prefLabel "طول کمان"@fa, "طول قوس"@fa, "arc length"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro618>
  skos:prefLabel "فاصله هذلولی"@fa, "hyperbolic distance"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro640>
  skos:prefLabel "متریک منظم"@fa, "regular metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro621>
  skos:prefLabel "معیارهای بوسمن"@fa, "busemann metrics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro627>
  skos:prefLabel "متریک همینگ"@fa, "hamming metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro630>
  skos:prefLabel "متریک چپ-ناوردا"@fa, "left-invariant metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro2600>
  skos:prefLabel "متریک انتگرالی"@fa, "integral metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro1205>
  skos:prefLabel "طول"@fa, "length"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro617>
  skos:prefLabel "متریک محدب"@fa, "convex metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro2569>
  skos:prefLabel "معیارهای هاسدورف"@fa, "hausdorff metrics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro620>
  skos:prefLabel "متریک القایی"@fa, "induced metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro626>
  skos:prefLabel "معیارهای سینه"@fa, "tits metrics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

ns0:is_defined_by rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro28>
  skos:prefLabel "خمینه ریمانی"@fa, "منیفولد ریمانی"@fa, "riemannian manifold"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro564>
  skos:prefLabel "تابع"@fa, "عملکرد"@fa, "function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro446>
  skos:prefLabel "هندسه متری"@fa, "هندسه متریک"@fa, "metric geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro616>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro626>, <http://www.irandoc.acir/onto/irandoc/mathpro620>, <http://www.irandoc.acir/onto/irandoc/mathpro633>, <http://www.irandoc.acir/onto/irandoc/mathpro637>, <http://www.irandoc.acir/onto/irandoc/mathpro623>, <http://www.irandoc.acir/onto/irandoc/mathpro631>, <http://www.irandoc.acir/onto/irandoc/0>, <http://www.irandoc.acir/onto/irandoc/mathpro630>, <http://www.irandoc.acir/onto/irandoc/mathpro629>, <http://www.irandoc.acir/onto/irandoc/mathpro2569>, <http://www.irandoc.acir/onto/irandoc/mathpro640>, <http://www.irandoc.acir/onto/irandoc/mathpro622>, <http://www.irandoc.acir/onto/irandoc/mathpro627>, <http://www.irandoc.acir/onto/irandoc/mathpro618>, <http://www.irandoc.acir/onto/irandoc/mathpro617>, <http://www.irandoc.acir/onto/irandoc/mathpro2716>, <http://www.irandoc.acir/onto/irandoc/mathpro639>, <http://www.irandoc.acir/onto/irandoc/mathpro638>, <http://www.irandoc.acir/onto/irandoc/mathpro2600>, <http://www.irandoc.acir/onto/irandoc/mathpro642>, <http://www.irandoc.acir/onto/irandoc/mathpro621>, <http://www.irandoc.acir/onto/irandoc/mathpro641> ;
  skos:prefLabel "متر"@fa, "metric"@en, "متریک"@fa ;
  ns0:broader <http://www.irandoc.acir/onto/irandoc/mathpro1201>, <http://www.irandoc.acir/onto/irandoc/mathpro1205>, <http://www.irandoc.acir/onto/irandoc/mathpro1610>, <http://www.irandoc.acir/onto/irandoc/mathpro1206>, <http://www.irandoc.acir/onto/irandoc/mathpro28> ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro446> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001100> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119>, <http://www.irandoc.acir/onto/irandoc/mathpro564> ;
  skos:scopeNote "یک تابع &quot.فاصله&quot.حقیقی مقدار روی فضایی توپولوژیک، که در 4 اصل صدق میکند."@fa ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro616> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> .

<http://www.irandoc.acir/onto/irandoc/mathpro1610>
  skos:prefLabel "فاصله"@fa, "distance"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro634> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .
<http://www.irandoc.acir/onto/irandoc/mathpro30> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro616> .
<http://www.irandoc.acir/onto/irandoc/mathpro119>
  skos:prefLabel "فضای متری"@fa, "فضای متریک"@fa, "metric space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro633>
  skos:prefLabel "متریک پیوسته"@fa, "continuous metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro639>
  skos:prefLabel "متریک شبه ریمانی"@fa, "pseudo-riemannian metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro642>
  skos:prefLabel "متر فینسلر"@fa, "متریک فینسلر"@fa, "finsler metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .

<http://www.irandoc.acir/onto/irandoc/mathpro623>
  skos:prefLabel "متریک مینکوفسکی"@fa, "minkowski metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro616> .