@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/mathpro2417> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro2416> .
<http://www.irandoc.acir/onto/irandoc/mathpro826>
  skos:prefLabel "قضیه"@fa, "theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro2416> .

<http://www.irandoc.acir/onto/irandoc/math0001349>
  skos:prefLabel "چندجمله‌ای لژاندر"@fa, "legendre polynomial"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008493>
  skos:prefLabel "قضایای تقریب"@fa, "approximation theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009166>
  skos:prefLabel "چندجمله‌ای"@fa, "polynomial"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3265>
  skos:prefLabel "تحلیل"@fa, "analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008485>
  skos:prefLabel "قضیه پیکون"@fa, "picone theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009181>
  skos:prefLabel "میدان حقیقی"@fa, "real field"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0005060>
  skos:prefLabel "تابع حقیقی"@fa, "real function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

ns0:contains rdfs:label "شامل"@fa, "contains"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro2416>
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008485>, <http://www.irandoc.acir/onto/irandoc/math0009181>, <http://www.irandoc.acir/onto/irandoc/math0001349>, <http://www.irandoc.acir/onto/irandoc/math0005060>, <http://www.irandoc.acir/onto/irandoc/math0009166> ;
  skos:prefLabel "قضیه جکسون"@fa, "قضیه جکسِن"@fa, "jackson theorem"@en ;
  ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro3265> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008493>, <http://www.irandoc.acir/onto/irandoc/mathpro826> .