@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/math0004641>
  skos:prefLabel "module"@en, "مدول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro2550>
  skos:prefLabel "مدول"@fa, "modulus"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003128>
  skos:prefLabel "گراف اشتراکی"@fa, "intersection graph"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1515> .

<http://www.irandoc.acir/onto/irandoc/math0005000>
  skos:prefLabel "زیرهمبافت"@fa, "subcomplex"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1519>
  skos:prefLabel "زیرمدول کوچک"@fa, "زیرماژول کوچک"@fa, "small submodule"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1515> .

<http://www.irandoc.acir/onto/irandoc/math0004555>
  skos:prefLabel "مدول خارج قسمتی"@fa, "quotient module"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1518>
  skos:prefLabel "زیرمدول ماکسیمال"@fa, "زیرمدول حداکثری"@fa, "maximal submodule"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1515> .

<http://www.irandoc.acir/onto/irandoc/math0004511>
  skos:prefLabel "قضیه تناظر"@fa, "correspondence theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1515> .

<http://www.irandoc.acir/onto/irandoc/mathpro1521>
  skos:prefLabel "زیرماژول ضروری"@fa, "essential submodule"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1515> .

<http://www.irandoc.acir/onto/irandoc/mathpro1517>
  skos:prefLabel "زیرمدول بسته"@fa, "زیرماژول بسته"@fa, "closed submodule"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1515> .

<http://www.irandoc.acir/onto/irandoc/math0004374>
  skos:prefLabel "شرایط زنجیری"@fa, "chain conditions"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1520>
  skos:prefLabel "زیرمدول مینیمال"@fa, "زیرماژول مینیمال"@fa, "minimal submodule"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1515> .

<http://www.irandoc.acir/onto/irandoc/math0008567>
  skos:prefLabel "زیر رسته سر"@fa, "serr subcategory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1515> .

<http://www.irandoc.acir/onto/irandoc/mathpro1516>
  skos:prefLabel "زیرماژول بزرگ"@fa, "big submodule"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1515> .

<http://www.irandoc.acir/onto/irandoc/mathpro1274>
  skos:prefLabel "دستگاه جبری"@fa, "algebraic system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1515> .

<http://rdf-vocabulary.ddialliance.org/xkos#defines> rdfs:label "تعریف می کند"@fa, "defines"@en .
<http://www.irandoc.acir/onto/irandoc/math0007453>
  skos:prefLabel "زیرمجموعه"@fa, "subset"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1515>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1520>, <http://www.irandoc.acir/onto/irandoc/mathpro1516>, <http://www.irandoc.acir/onto/irandoc/mathpro1519>, <http://www.irandoc.acir/onto/irandoc/mathpro1521>, <http://www.irandoc.acir/onto/irandoc/mathpro1518>, <http://www.irandoc.acir/onto/irandoc/mathpro1517> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004555>, <http://www.irandoc.acir/onto/irandoc/math0004567>, <http://www.irandoc.acir/onto/irandoc/math0005000>, <http://www.irandoc.acir/onto/irandoc/math0008567>, <http://www.irandoc.acir/onto/irandoc/math0004511>, <http://www.irandoc.acir/onto/irandoc/math0007453>, <http://www.irandoc.acir/onto/irandoc/math0004374>, <http://www.irandoc.acir/onto/irandoc/math0003128> ;
  skos:prefLabel "زیرمدول"@fa, "submodule"@en, "زیرماژول"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1274>, <http://www.irandoc.acir/onto/irandoc/math0004641> ;
  ns0:defines <http://www.irandoc.acir/onto/irandoc/mathpro2550> ;
  skos:scopeNote "زیرمجموعه ای از یک مدول که خود دارای ساختار مدولی باشد."@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004567>
  skos:prefLabel "مدول نیم‌ساده"@fa, "semi-simple module"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .