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

<http://www.irandoc.acir/onto/irandoc/mathpro714> skos:related <http://www.irandoc.acir/onto/irandoc/math0004699> .
<http://www.irandoc.acir/onto/irandoc/math0007019>
  skos:prefLabel "تابع نامزد-لیاپونوف"@fa, "lyapunov candidate function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004699> .

<http://www.irandoc.acir/onto/irandoc/math0004701>
  skos:prefLabel "صورت ارمیتی"@fa, "hermitian form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004699> .

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

<http://www.irandoc.acir/onto/irandoc/math0004705>
  skos:prefLabel "form"@en, "صورت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0004699> .

<http://www.irandoc.acir/onto/irandoc/math0004699>
  skos:prefLabel "positive definite form"@en, "صورت معین مثبت"@fa ;
  skos:altLabel "فرم معین مثبت"@fa, "" ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007019>, <http://www.irandoc.acir/onto/irandoc/math0004701>, <http://www.irandoc.acir/onto/irandoc/math0005203> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004705> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .