@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/math0001169>
  skos:prefLabel "فضای توابع خطی"@fa, "linear functions space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001162>
  skos:prefLabel "فضایl_p"@fa, "l_p space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro149>
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro92>, <http://www.irandoc.acir/onto/irandoc/math0001169> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001219>, <http://www.irandoc.acir/onto/irandoc/math0001183>, <http://www.irandoc.acir/onto/irandoc/math0005311>, <http://www.irandoc.acir/onto/irandoc/math0001165>, <http://www.irandoc.acir/onto/irandoc/math0001162> ;
  skos:prefLabel "فضای سوبولف"@fa, "sobolev space"@en, "فضای سوبلیف"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:scopeNote "یک فضای برداری از توابع، مجهز به نرمی است که از ترکیب l^p- نرم های تابع و مشتقات آن با مرتبه داده شده ایجاد می شود."@fa ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro149> .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/math0001165>
  skos:prefLabel "فضای توابع تمام ریخت"@fa, "space of holomorphic functions"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/mathpro92>
  skos:prefLabel "فضا"@fa, "space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro149> .

<http://www.irandoc.acir/onto/irandoc/math0001219>
  skos:prefLabel "نامساوی سوبیلف"@fa, "sobolev inequality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro149> .

<http://www.irandoc.acir/onto/irandoc/math0005311>
  skos:prefLabel "مشتق"@fa, "derivative"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .