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

<http://www.irandoc.acir/onto/irandoc/math0007443>
  skos:prefLabel "رابطه ترتیب"@fa, "order relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/math0007576>
  skos:prefLabel "ساختارهای o-مینیمال"@fa, "o-minimal structers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007504>
  skos:prefLabel "مجموعه مرتب"@fa, "ordered set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1619>
  skos:prefLabel "نسبت درستنمایی"@fa, "نسبت احتمال"@fa, "likelihood ratio"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/math0007249>
  skos:prefLabel "بسط زبان"@fa, "expansion of language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1565>
  skos:prefLabel "عنصر نظریه احتمال"@fa, "element of probability theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/math0007437>
  skos:prefLabel "رابطه ترایایی"@fa, "transitive relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/mathpro1617>
  skos:prefLabel "رابطه دانشجو"@fa, "student/s relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/math0007446>
  skos:prefLabel "رابطه متقارن"@fa, "symetric relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/math0007213>
  skos:prefLabel "متناهی‌گرایی"@fa, "finitism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro84> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .
<http://www.irandoc.acir/onto/irandoc/math0007436>
  skos:prefLabel "رابطه پادمتقارن"@fa, "antisymmetric relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/mathpro1616>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007435>, <http://www.irandoc.acir/onto/irandoc/math0007436>, <http://www.irandoc.acir/onto/irandoc/mathpro1617>, <http://www.irandoc.acir/onto/irandoc/math0007445>, <http://www.irandoc.acir/onto/irandoc/math0007443>, <http://www.irandoc.acir/onto/irandoc/math0007444>, <http://www.irandoc.acir/onto/irandoc/math0007446>, <http://www.irandoc.acir/onto/irandoc/math0007437>, <http://www.irandoc.acir/onto/irandoc/mathpro1634>, <http://www.irandoc.acir/onto/irandoc/mathpro1619> ;
  skos:scopeNote "مجموعه ای از زوجهای مرتب."@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007209>, <http://www.irandoc.acir/onto/irandoc/math0007213>, <http://www.irandoc.acir/onto/irandoc/math0007504>, <http://www.irandoc.acir/onto/irandoc/math0007578>, <http://www.irandoc.acir/onto/irandoc/math0007218>, <http://www.irandoc.acir/onto/irandoc/math0007695>, <http://www.irandoc.acir/onto/irandoc/math0007576>, <http://www.irandoc.acir/onto/irandoc/math0007249> ;
  skos:prefLabel "relation"@en, "رابطه"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1565>, <http://www.irandoc.acir/onto/irandoc/mathpro3281> ;
  skos:altLabel "", "بستگی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<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 .

<http://www.irandoc.acir/onto/irandoc/math0007445>
  skos:prefLabel "رابطه شمول"@fa, "inclusion relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/math0007209>
  skos:prefLabel "جبر رابطه‌ای"@fa, "relational algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007578>
  skos:prefLabel "ساختار رابطه‌ای"@fa, "relational strucure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1634>
  skos:prefLabel "توالی آزمایش"@fa, "sequence of experiment"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/math0007218>
  skos:prefLabel "رابطه تصمیم‌پذیر"@fa, "decidable relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/math0007435>
  skos:prefLabel "رابطه انعکاسی"@fa, "reflexive relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/math0007444>
  skos:prefLabel "رابطه دوتایی"@fa, "binary relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1616> .

<http://www.irandoc.acir/onto/irandoc/math0007695>
  skos:prefLabel "ویژگی استقلال"@fa, "independence property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .