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

<http://www.irandoc.acir/onto/irandoc/math0001153>
  skos:prefLabel "فضای برداری توپولوژیک"@fa, "topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0001116> .

<http://www.irandoc.acir/onto/irandoc/math0004739>
  skos:prefLabel "زیرفضا"@fa, "subspace"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001116> .

<http://www.irandoc.acir/onto/irandoc/math0001119>
  skos:prefLabel "قضیه گسترش هان-باناخ"@fa, "hahn-banach extension theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001116> .

<http://www.irandoc.acir/onto/irandoc/mathpro451> skos:related <http://www.irandoc.acir/onto/irandoc/math0001116> .
<http://www.irandoc.acir/onto/irandoc/math0004730>
  skos:prefLabel "تبدیل خطی"@fa, "linear transformation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001116> .

<http://www.irandoc.acir/onto/irandoc/mathpro117> skos:related <http://www.irandoc.acir/onto/irandoc/math0001116> .
<http://www.irandoc.acir/onto/irandoc/math0001116>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004739>, <http://www.irandoc.acir/onto/irandoc/math0004730>, <http://www.irandoc.acir/onto/irandoc/math0001119> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153> ;
  skos:prefLabel "قضیه توسیع"@fa, "extension theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .