@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/math0007387>
  skos:prefLabel "اصل موضوع توان"@fa, "axiom of powers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007439> .

<http://www.irandoc.acir/onto/irandoc/math0007388>
  skos:prefLabel "اصل موضوع توسیع"@fa, "axiom of extension"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007439> .

<http://www.irandoc.acir/onto/irandoc/math0007456>
  skos:prefLabel "مجموعه توانی"@fa, "power set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007439> .

<http://www.irandoc.acir/onto/irandoc/math0005824>
  skos:prefLabel "کد ژنتیکی"@fa, "genetic code"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007439> .

<http://www.irandoc.acir/onto/irandoc/math0007439>
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007456>, <http://www.irandoc.acir/onto/irandoc/math0007387>, <http://www.irandoc.acir/onto/irandoc/math0007389>, <http://www.irandoc.acir/onto/irandoc/math0005824>, <http://www.irandoc.acir/onto/irandoc/math0007388> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007443> ;
  skos:prefLabel "cartesian pruduct"@en, "حاصل‌ضرب دکارتی"@fa .

<http://www.irandoc.acir/onto/irandoc/math0007443>
  skos:prefLabel "رابطه ترتیب"@fa, "order relation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007439> .

<http://www.irandoc.acir/onto/irandoc/math0007389>
  skos:prefLabel "اصل موضوع جایگزینی"@fa, "axiom of substitution"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007439> .