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

<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/mathpro228>
  skos:prefLabel "نامعادله"@fa, "نابرابری"@fa, "inequality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro96>
  skos:prefLabel "فضای هیلبرتی"@fa, "hilbertian space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://rdf-vocabulary.ddialliance.org/xkos#label> rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/math0003514>
  skos:prefLabel "بسط سری"@fa, "series expansion"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro232>
  ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro96> ;
  skos:scopeNote "رابطه‌ای که حاکی از آن است که مجموع مربعات حاصل‌ضرب داخلی یک بردار با اعضای یک مجموعه یکا متعامد بزرگتر از مربع نرم آن بردار نیست."@fa ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro232> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008747>, <http://www.irandoc.acir/onto/irandoc/math0005644> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1876>, <http://www.irandoc.acir/onto/irandoc/mathpro228>, <http://www.irandoc.acir/onto/irandoc/math0003514> ;
  skos:prefLabel "نابرابری بسل"@fa, "bessel inequality"@en ;
  skos:altLabel "", "نامساوی بسل"@fa ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro3265> .

ns0:is_defined_by rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/math0005644>
  skos:prefLabel "سری فوریه"@fa, "fourier series"@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/math0008747>
  skos:prefLabel "نظریه کوانتومی"@fa, "quantum theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1876>
  skos:prefLabel "عنصر معادلات دیفرانسیل"@fa, "element of differential equations"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .