@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/math0004284>
  skos:prefLabel "پایه گروبنر"@fa, "grobner basis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007680>
  skos:prefLabel "رتبه مورلی نظریه"@fa, "morley rank of theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1194>
  skos:prefLabel "ملک"@fa, "property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1232> .

<http://www.irandoc.acir/onto/irandoc/math0007694>
  skos:prefLabel "رتبه"@fa, "rank"@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/math0007692>
  skos:prefLabel "رتبه فراموضعی"@fa, "global rank"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007638>
  skos:prefLabel "فضای استون"@fa, "stone space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1232>
  skos:prefLabel "بعد"@fa, "ابعاد"@fa, "dimension"@en ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007693>, <http://www.irandoc.acir/onto/irandoc/math0007692>, <http://www.irandoc.acir/onto/irandoc/math0004284>, <http://www.irandoc.acir/onto/irandoc/math0007638>, <http://www.irandoc.acir/onto/irandoc/math0007694>, <http://www.irandoc.acir/onto/irandoc/math0007640>, <http://www.irandoc.acir/onto/irandoc/math0007709> ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1668> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1233> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007680>, <http://www.irandoc.acir/onto/irandoc/mathpro1194> .

<http://www.irandoc.acir/onto/irandoc/math0007709>
  skos:prefLabel "پیش هندسه مدولی موضعی"@fa, "locally modular pregeometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007640>
  skos:prefLabel "تایپ"@fa, "type"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007693>
  skos:prefLabel "رتبه موضعی"@fa, "local rank"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1233>
  skos:prefLabel "بعد هاسدورف"@fa, "بُعد هاسدورف"@fa, "hausdorff dimension"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1232> .

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