@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/math0009578>
  skos:prefLabel "قضیه سوا"@fa, "ceva theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro207>
  skos:prefLabel "مثلث‌های ژئودزیک"@fa, "geodesic triangles"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009931>
  skos:prefLabel "نظریه ارزه"@fa, "valuation theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009364>
  skos:prefLabel "مثلث کروی"@fa, "spherical triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/mathpro206>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0009369>, <http://www.irandoc.acir/onto/irandoc/math0009366>, <http://www.irandoc.acir/onto/irandoc/math0009371>, <http://www.irandoc.acir/onto/irandoc/math0009357>, <http://www.irandoc.acir/onto/irandoc/mathpro209>, <http://www.irandoc.acir/onto/irandoc/math0009368>, <http://www.irandoc.acir/onto/irandoc/math0009370>, <http://www.irandoc.acir/onto/irandoc/math0009361>, <http://www.irandoc.acir/onto/irandoc/math0009359>, <http://www.irandoc.acir/onto/irandoc/math0009356>, <http://www.irandoc.acir/onto/irandoc/math0009358>, <http://www.irandoc.acir/onto/irandoc/math0009360>, <http://www.irandoc.acir/onto/irandoc/math0009362>, <http://www.irandoc.acir/onto/irandoc/math0009365>, <http://www.irandoc.acir/onto/irandoc/mathpro208>, <http://www.irandoc.acir/onto/irandoc/math0009367>, <http://www.irandoc.acir/onto/irandoc/math0009364>, <http://www.irandoc.acir/onto/irandoc/mathpro207> ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro206> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0009226>, <http://www.irandoc.acir/onto/irandoc/math0009391>, <http://www.irandoc.acir/onto/irandoc/math0009578>, <http://www.irandoc.acir/onto/irandoc/math0009931>, <http://www.irandoc.acir/onto/irandoc/math0009263>, <http://www.irandoc.acir/onto/irandoc/math0009428>, <http://www.irandoc.acir/onto/irandoc/math0009322>, <http://www.irandoc.acir/onto/irandoc/math0009429>, <http://www.irandoc.acir/onto/irandoc/math0009310>, <http://www.irandoc.acir/onto/irandoc/math0009794> ;
  skos:prefLabel "triangle"@en, "مثلث"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3281>, <http://www.irandoc.acir/onto/irandoc/mathpro46> ;
  ns0:comment <http://en.wikipedia.org/wiki/triangle> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> .

<http://www.irandoc.acir/onto/irandoc/math0009794>
  skos:prefLabel "مدل هندسه بیضوی"@fa, "model of elliptic geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009310>
  skos:prefLabel "زاویه مرکزی"@fa, "central angle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009369>
  skos:prefLabel "مثلث منفرجه"@fa, "obtuse triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009391>
  skos:prefLabel "فرمول هرون"@fa, "heron formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009226>
  skos:prefLabel "مثلث‌های همنهشت"@fa, "congruent triangles"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009359>
  skos:prefLabel "مثلث تک مجانبی"@fa, "singly asymptotic triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009263>
  skos:prefLabel "وتر"@fa, "hypotenuse"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/math0009362>
  skos:prefLabel "مثلث قائم‌الزاویه"@fa, "right triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009368>
  skos:prefLabel "مثلث مماسی"@fa, "tangential triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009371>
  skos:prefLabel "مثلث‌نما"@fa, "pseudo-triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009429>
  skos:prefLabel "مرکز دایره محاطی داخلی"@fa, "incenter"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009358>
  skos:prefLabel "مثلث پادکی"@fa, "pedal triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/math0009361>
  skos:prefLabel "مثلث تند"@fa, "acute triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/mathpro2472> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro206> .
<http://www.irandoc.acir/onto/irandoc/math0009367>
  skos:prefLabel "مثلث مختلف‌الاضلاع"@fa, "scalene triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/mathpro3281>
  skos:prefLabel "تنظیم"@fa, "set"@en, "مجموعه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/mathpro46>
  skos:prefLabel "چندضلعی"@fa, "polygon"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009370>
  skos:prefLabel "مثلث میانک"@fa, "medial triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009428>
  skos:prefLabel "مرکز دایره محاطی خارجی"@fa, "excenter"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009357>
  skos:prefLabel "قضیه منلائوس"@fa, "menelaus theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/mathpro209>
  skos:prefLabel "مثلث مقایسه"@fa, "comparison triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009360>
  skos:prefLabel "مثلث تماسی"@fa, "contact triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009366>
  skos:prefLabel "مثلث متساوی‌الساقین"@fa, "isosceles triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009322>
  skos:prefLabel "قضیه استینر-لموس"@fa, "steiner-lehmus theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009356>
  skos:prefLabel "قضیه فیثاغورث"@fa, "pythagorean theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/mathpro208>
  skos:prefLabel "مثلث هذلولی"@fa, "hyperbolic triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

<http://www.irandoc.acir/onto/irandoc/math0009365>
  skos:prefLabel "مثلث متساوی‌الاضلاع"@fa, "equilateral triangle"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro206> .

