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

<http://www.irandoc.acir/onto/irandoc/math0003912>
  skos:prefLabel "حاصل‌ضرب تاقی"@fa, "cap product"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0001030>
  skos:prefLabel "تابع معین مثبت"@fa, "positive definite function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<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 ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0001191>
  skos:prefLabel "اتحاد پارسوال"@fa, "parseval identity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0004693>
  skos:prefLabel "صورت درجه دوم"@fa, "quadratic form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0001172>
  skos:prefLabel "عملگر الحاقی"@fa, "adjoint operator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0001196>
  skos:prefLabel "قضیه لکس-میلگرام"@fa, "lax-milgram theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0004725>
  skos:prefLabel "تبدیل خطی یکانی"@fa, "unitary linear transformation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/mathpro181> skos:narrower <http://www.irandoc.acir/onto/irandoc/math0003724> .
<http://www.irandoc.acir/onto/irandoc/math0004700>
  skos:prefLabel "صورت ناتباهیده"@fa, "non-degenerate form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0001049>
  skos:prefLabel "فضای یکانی"@fa, "unitary space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0001195>
  skos:prefLabel "قانون متوازی الاضلاع"@fa, "parallelogram law"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0004768>
  skos:prefLabel "قاب_جبرخطی"@fa, "frame (linear algebra)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0004749>
  skos:prefLabel "فضای برداری نرم‌دار"@fa, "normed vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

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

<http://www.irandoc.acir/onto/irandoc/math0004761>
  skos:prefLabel "قاب دقیق"@fa, "exact frame"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math000266>
  skos:prefLabel "قضیه ریس-فیشر"@fa, "riesz-fischer theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0004770>
  skos:prefLabel "نامساوی کوشی-شوارتز"@fa, "cauchy-schwarz inequality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0001211>
  skos:prefLabel "آنالیز تابعی"@fa, "fuctional analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0008650>
  skos:prefLabel "عملگر نرمال"@fa, "normal operator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0001193>
  skos:prefLabel "فضای پیش هیلبرت"@fa, "pre-hilbert space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0008656>
  skos:prefLabel "عملگر یکانی"@fa, "unitary operator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0004741>
  skos:prefLabel "فضای برداری اقلیدسی"@fa, "euclidean vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003724> .

<http://www.irandoc.acir/onto/irandoc/math0003724>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0001196>, <http://www.irandoc.acir/onto/irandoc/math0001193>, <http://www.irandoc.acir/onto/irandoc/math0001195>, <http://www.irandoc.acir/onto/irandoc/math0001192>, <http://www.irandoc.acir/onto/irandoc/math0001191>, <http://www.irandoc.acir/onto/irandoc/math0001194> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001049>, <http://www.irandoc.acir/onto/irandoc/math0004761>, <http://www.irandoc.acir/onto/irandoc/math0004768>, <http://www.irandoc.acir/onto/irandoc/math0004770>, <http://www.irandoc.acir/onto/irandoc/math0004700>, <http://www.irandoc.acir/onto/irandoc/math0004725>, <http://www.irandoc.acir/onto/irandoc/math0001169>, <http://www.irandoc.acir/onto/irandoc/math0004741>, <http://www.irandoc.acir/onto/irandoc/math0001172>, <http://www.irandoc.acir/onto/irandoc/math0001030>, <http://www.irandoc.acir/onto/irandoc/math0008656>, <http://www.irandoc.acir/onto/irandoc/math0003912>, <http://www.irandoc.acir/onto/irandoc/math0008650>, <http://www.irandoc.acir/onto/irandoc/math0004749>, <http://www.irandoc.acir/onto/irandoc/math000266>, <http://www.irandoc.acir/onto/irandoc/math0004693> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001211> ;
  skos:prefLabel "inner product space"@en, "فضای ضرب داخلی"@fa .

<http://www.irandoc.acir/onto/irandoc/math0001192>
  skos:prefLabel "حاصل‌ضرب نیم‌داخلی"@fa, "semi-inner product"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0003724> .