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

<http://rdf-vocabulary.ddialliance.org/xkos#comment> rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/math0003832>
  skos:prefLabel "توپولوژی هندسی"@fa, "geometric topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro119>
  skos:prefLabel "فضای متری"@fa, "فضای متریک"@fa, "metric space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro128> .

<http://www.irandoc.acir/onto/irandoc/math0003751>
  skos:prefLabel "فضای متری کامل"@fa, "complete metric space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<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 .

<http://www.irandoc.acir/onto/irandoc/mathpro128>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003751>, <http://www.irandoc.acir/onto/irandoc/math0001194> ;
  skos:prefLabel "فضای آدامار"@fa, "فضای هادامارد"@fa, "hadamard space"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro119>, <http://www.irandoc.acir/onto/irandoc/math0003832> ;
  ns0:comment <http://en.wikipedia.org/wiki/hadamard_space> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro626> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro128> .