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

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

<http://www.irandoc.acir/onto/irandoc/mathpro427>
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro446> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0009240>, <http://www.irandoc.acir/onto/irandoc/math0009241> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004704>, <http://www.irandoc.acir/onto/irandoc/math0009321>, <http://www.irandoc.acir/onto/irandoc/math0001019>, <http://www.irandoc.acir/onto/irandoc/math0009812>, <http://www.irandoc.acir/onto/irandoc/math0001187>, <http://www.irandoc.acir/onto/irandoc/math0008637>, <http://www.irandoc.acir/onto/irandoc/math0009890> ;
  skos:altLabel "", "همسنجی"@fa ;
  skos:prefLabel "isometry"@en, "ایزومتری"@fa, "طول‌پایی"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro380>, <http://www.irandoc.acir/onto/irandoc/math0009248> ;
  ns0:comment <http://en.wikipedia.org/wiki/isometry> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009321>
  skos:prefLabel "زوایای همنهشت"@fa, "congruent angles"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/math0009240>
  skos:prefLabel "طول‌پایی خطی"@fa, "linear isometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro427> .

<http://www.irandoc.acir/onto/irandoc/math0001187>
  skos:prefLabel "قضیه مازور-اولام"@fa, "mazur-ulam theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004704>
  skos:prefLabel "صورت‌های همسنج"@fa, "isometric forms"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

ns0:is_defined_by rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/math0008637>
  skos:prefLabel "عملگر زیر نرمال"@fa, "subnormal operator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009248>
  skos:prefLabel "تبدیل هندسی"@fa, "geometric transformation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001019>
  skos:prefLabel "جبر هیلبرت"@fa, "hilbert algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009890>
  skos:prefLabel "هندسه همدیس"@fa, "conformal geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009241>
  skos:prefLabel "طول‌پایی محض"@fa, "pure isometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro427> .

<http://www.irandoc.acir/onto/irandoc/mathpro446>
  skos:prefLabel "هندسه متری"@fa, "هندسه متریک"@fa, "metric geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009812>
  skos:prefLabel "لم گاوس"@fa, "gauss lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .