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

<http://www.irandoc.acir/onto/irandoc/MAT0009626>
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0009640> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003468>, <http://www.irandoc.acir/onto/irandoc/MAT0010130>, <http://www.irandoc.acir/onto/irandoc/MAT0005111>, <http://www.irandoc.acir/onto/irandoc/MAT0010118>, <http://www.irandoc.acir/onto/irandoc/MAT0007962>, <http://www.irandoc.acir/onto/irandoc/MAT0007300> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "Helly theorem"@en, "قضیه هلی"@fa .

<http://www.irandoc.acir/onto/irandoc/MAT0010130>
  skos:prefLabel "مجموعه محدب"@fa, "convex set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009626> .

<http://www.irandoc.acir/onto/irandoc/MAT0007962>
  skos:prefLabel "weak convergence"@en, "همگرایی ضعیف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009626> .

<http://www.irandoc.acir/onto/irandoc/MAT0010118>
  skos:prefLabel "رویه محدب"@fa, "convex surface"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009626> .

<http://www.irandoc.acir/onto/irandoc/MAT0005111>
  skos:prefLabel "injective function"@en, "تابع یک به یک"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009626> .

<http://www.irandoc.acir/onto/irandoc/MAT0007300>
  skos:prefLabel "compactness theorem"@en, "قضیه فشردگی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009626> .

<http://www.irandoc.acir/onto/irandoc/MAT0009640>
  skos:prefLabel "هندسه ترکیبیاتی"@fa, "combinatorial geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0009626> .

<http://www.irandoc.acir/onto/irandoc/MAT0003468>
  skos:prefLabel "combinatorics"@en, "ترکیبیات"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0009626> .