@prefix ns0: <http://rdf-vocabulary.ddialliance.org/xkos#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.irandoc.acir/onto/irandoc/mathpro2773> ns0:defines <http://www.irandoc.acir/onto/irandoc/mathpro1258> .
<http://www.irandoc.acir/onto/irandoc/mathpro1369>
  skos:prefLabel "اتصال متریک"@fa, "metrical connection"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro1391>
  skos:prefLabel "اتصال تصویری"@fa, "projective connection"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro1424>
  skos:prefLabel "التصاق لوی-چیتا"@fa, "اتصال لوی-سیویتا"@fa, "levi-civita connection"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro1458>
  skos:prefLabel "کلاف تاری"@fa, "بسته فیبر"@fa, "fiber bundle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1988> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .
<http://www.irandoc.acir/onto/irandoc/mathpro1269>
  skos:prefLabel "زیرمنیفولد موازی خودکار"@fa, "autoparallel submanifold"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro1291>
  skos:prefLabel "اتصال طبیعی بدون پیچ خوردگی"@fa, "natural connectivity torsion-free"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro820>
  skos:prefLabel "تانسور پیچشی اتصال"@fa, "torsion tensor of connection"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro324> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro1258> .
<http://www.irandoc.acir/onto/irandoc/mathpro1324>
  skos:prefLabel "تمایز کوواریانس"@fa, "covariant differentiation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro1358> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .
<http://www.irandoc.acir/onto/irandoc/mathpro1380> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .
<http://www.irandoc.acir/onto/irandoc/mathpro825>
  skos:prefLabel "صورت التصاقی"@fa, "فرم اتصال"@fa, "connection form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
ns0:contains rdfs:label "شامل"@fa, "contains"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro1447>
  skos:prefLabel "اتصال همسطح"@fa, "equiprojective connection"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro1258>
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1447>, <http://www.irandoc.acir/onto/irandoc/mathpro1347>, <http://www.irandoc.acir/onto/irandoc/mathpro1291>, <http://www.irandoc.acir/onto/irandoc/mathpro1435>, <http://www.irandoc.acir/onto/irandoc/mathpro1391>, <http://www.irandoc.acir/onto/irandoc/mathpro1280>, <http://www.irandoc.acir/onto/irandoc/mathpro1369>, <http://www.irandoc.acir/onto/irandoc/mathpro1313>, <http://www.irandoc.acir/onto/irandoc/mathpro1302>, <http://www.irandoc.acir/onto/irandoc/mathpro1424>, <http://www.irandoc.acir/onto/irandoc/mathpro1269>, <http://www.irandoc.acir/onto/irandoc/0> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro1258> ;
  ns0:comment <http://en.wikipedia.org/wiki/connectedness> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1644>, <http://www.irandoc.acir/onto/irandoc/mathpro1194> ;
  ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro1458>, <http://www.irandoc.acir/onto/irandoc/mathpro1524> ;
  skos:prefLabel "پیوستگی"@fa, "connectedness"@en ;
  ns0:broader <http://www.irandoc.acir/onto/irandoc/mathpro820>, <http://www.irandoc.acir/onto/irandoc/mathpro823>, <http://www.irandoc.acir/onto/irandoc/mathpro1324>, <http://www.irandoc.acir/onto/irandoc/mathpro825> .

<http://www.irandoc.acir/onto/irandoc/mathpro1280>
  skos:prefLabel "زیرمنیفولد آفین"@fa, "affine submanifold"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro1347>
  skos:prefLabel "ضریب اتصال"@fa, "coefficient of connexion"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro474> ns0:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .
<http://www.irandoc.acir/onto/irandoc/mathpro1644>
  skos:prefLabel "توزیع"@fa, "distribution"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  ns0:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro823>
  skos:prefLabel "فرم انحنا"@fa, "curvature form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1668>
  skos:prefLabel "توپولوژی"@fa, "topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1302>
  skos:prefLabel "اتصال القایی"@fa, "induced connectivity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro1194>
  skos:prefLabel "ملک"@fa, "property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro1435>
  skos:prefLabel "اتصال متقارن"@fa, "symmetric connection"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1258> .

<http://www.irandoc.acir/onto/irandoc/mathpro3313> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro1258> .
<http://www.irandoc.acir/onto/irandoc/mathpro1524>
  skos:prefLabel "بسته مشتق‌پذیر"@fa, "differentiable bundle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .