@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/mathpro2667>
  skos:prefLabel "شیء دانش ریاضی"@fa, "mathematical knowledge object"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro2370> .

<http://www.irandoc.acir/onto/irandoc/mathpro2371>
  skos:prefLabel "مقسوم‌علیه"@fa, "مقسوم علیه"@fa, "divisor"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2370> .

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro2372>
  skos:prefLabel "سیستم باقیمانده"@fa, "system of residue"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2370> .

<http://www.irandoc.acir/onto/irandoc/mathpro2370>
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1557> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro2374>, <http://www.irandoc.acir/onto/irandoc/mathpro2372>, <http://www.irandoc.acir/onto/irandoc/mathpro2371> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667> ;
  skos:prefLabel "عنصری از نظریه اعداد"@fa, "element of the theory of numbers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .