@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/math0008187>
  skos:prefLabel "همنهشتی فازی"@fa, "fuzzy congruence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://www.irandoc.acir/onto/irandoc/math0008190>
  skos:prefLabel "نظریه مقدماتی اعداد"@fa, "elementary number theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008143>
  skos:prefLabel "حساب پیمانه‌ای"@fa, "modulo arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3228>
  skos:prefLabel "هندسه دیفرانسیل"@fa, "differential geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003165>
  skos:prefLabel "گراف خودمتمم"@fa, "self-complementary graph"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://www.irandoc.acir/onto/irandoc/math0008186>
  skos:prefLabel "همنهشتی خطی"@fa, "linear congruence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://www.irandoc.acir/onto/irandoc/math0005814>
  skos:prefLabel "رمزنگاری"@fa, "cryptography"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008142>
  skos:prefLabel "تقسیم‌پذیری"@fa, "divisibility"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007447>
  skos:prefLabel "کلاس هم‌‌ارزی"@fa, "equivalence class"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008185>
  skos:prefLabel "همنهشتی چندجمله‌ای"@fa, "polynomial congruence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://rdf-vocabulary.ddialliance.org/xkos#comment> rdfs:label "توضیحات"@fa, "comment"@en .
<http://rdf-vocabulary.ddialliance.org/xkos#is_defined_by> rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/math0008131>
  skos:prefLabel "تابع فی اویلر"@fa, "euler phi function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008184>
  skos:prefLabel "رده مانده‌ها"@fa, "residue class"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://www.irandoc.acir/onto/irandoc/math0009612>
  skos:prefLabel "analytic geometry"@en, "هندسه تحلیلی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://rdf-vocabulary.ddialliance.org/xkos#label> rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro84>
  skos:prefLabel "رابطه هم‌ارزی"@fa, "equivalence relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://www.irandoc.acir/onto/irandoc/math0002731>
  skos:prefLabel "مربع لاتین چرخشی"@fa, "circulant latin square"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://www.irandoc.acir/onto/irandoc/mathpro2478>
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro84>, <http://www.irandoc.acir/onto/irandoc/math0008190>, <http://www.irandoc.acir/onto/irandoc/mathpro3281> ;
  skos:prefLabel "همنهشتی"@fa, "congruence"@en, "همخوانی"@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0008185>, <http://www.irandoc.acir/onto/irandoc/math0008184>, <http://www.irandoc.acir/onto/irandoc/math0008186>, <http://www.irandoc.acir/onto/irandoc/math0008187>, <http://www.irandoc.acir/onto/irandoc/math0008182>, <http://www.irandoc.acir/onto/irandoc/math0008188>, <http://www.irandoc.acir/onto/irandoc/math0008183> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002731>, <http://www.irandoc.acir/onto/irandoc/math0008142>, <http://www.irandoc.acir/onto/irandoc/math0007447>, <http://www.irandoc.acir/onto/irandoc/math0005814>, <http://www.irandoc.acir/onto/irandoc/math0008099>, <http://www.irandoc.acir/onto/irandoc/math0009612>, <http://www.irandoc.acir/onto/irandoc/math0003165>, <http://www.irandoc.acir/onto/irandoc/math0008143>, <http://www.irandoc.acir/onto/irandoc/math0008131> ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro2478> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  ns0:comment <http://en.wikipedia.org/wiki/congruence_%28geometry%29> ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro3228> ;
  skos:altLabel "نظریه هم نهشتی"@fa, "" .

<http://www.irandoc.acir/onto/irandoc/mathpro3281>
  skos:prefLabel "تنظیم"@fa, "set"@en, "مجموعه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://www.irandoc.acir/onto/irandoc/math0008183>
  skos:prefLabel "پیمانه همنهشتی"@fa, "modulus of a congruence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://www.irandoc.acir/onto/irandoc/math0008099>
  skos:prefLabel "اتحاد افرازی رامانوجان"@fa, "ramanujan partition identity"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008182>
  skos:prefLabel "اعداد همنهشت"@fa, "congruent numbers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2478> .

<http://www.irandoc.acir/onto/irandoc/math0008188>
  skos:prefLabel "همنهشتی نمایی"@fa, "exponential congruence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2478> .