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

<http://www.irandoc.acir/onto/irandoc/mathpro2566>
  skos:prefLabel "فضای فشرده"@fa, "فضای جمع و جور"@fa, "compact space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro380>
  skos:prefLabel "نگاشت"@fa, "نقشه"@fa, "map"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro443> .

<http://www.irandoc.acir/onto/irandoc/math0009841>
  skos:prefLabel "متر پوانکاره"@fa, "poincare metric"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://rdf-vocabulary.ddialliance.org/xkos#comment> rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro445>
  skos:prefLabel "فشرده‌سازی یک‌نقطه‌ای"@fa, "فشرده‌سازی تک نقطه‌ای"@fa, "one-point compactification"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro443> .

<http://rdf-vocabulary.ddialliance.org/xkos#is_defined_by> rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/math0003720>
  skos:prefLabel "فضای تیخونوف"@fa, "tychonoff space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro443>
  skos:prefLabel "compactification"@en, "فشرده‌سازی"@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro444>, <http://www.irandoc.acir/onto/irandoc/mathpro445> ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0003720>, <http://www.irandoc.acir/onto/irandoc/math0009841> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2566>, <http://www.irandoc.acir/onto/irandoc/mathpro380> ;
  skos:altLabel "فشرده‌ساخت"@fa, "" ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  ns0:comment <http://en.wikipedia.org/wiki/compactification_%28mathematics%29> .

<http://www.irandoc.acir/onto/irandoc/mathpro1668>
  skos:prefLabel "توپولوژی"@fa, "topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro444>
  skos:prefLabel "فشرده‌سازی استون-چخ"@fa, "فشرده‌سازی سنگ-چک"@fa, "stone-cech compactification"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro443> .