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

<http://www.irandoc.acir/onto/irandoc/MAT0007223>
  skos:prefLabel "Robinson arithmetic"@en, "حساب رابینسون"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007228>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007662>, <http://www.irandoc.acir/onto/irandoc/MAT0007255>, <http://www.irandoc.acir/onto/irandoc/MAT0007568>, <http://www.irandoc.acir/onto/irandoc/MAT0007252>, <http://www.irandoc.acir/onto/irandoc/MAT0007408> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007226>, <http://www.irandoc.acir/onto/irandoc/MAT0007224>, <http://www.irandoc.acir/onto/irandoc/MAT0007223>, <http://www.irandoc.acir/onto/irandoc/MAT0007222>, <http://www.irandoc.acir/onto/irandoc/MAT0007220>, <http://www.irandoc.acir/onto/irandoc/MAT0007227> ;
  skos:prefLabel "arithmetic (logic)"@en, "حساب (منطق)"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007242> .

<http://www.irandoc.acir/onto/irandoc/MAT0007408>
  skos:prefLabel "cardinal arithmetic"@en, "حساب اعداد اصلی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007568>
  skos:prefLabel "نظریه مجموعه‌ها"@fa, "set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007226>
  skos:prefLabel "higher order arithmetic"@en, "حساب مرتبه بالاتر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007662>
  skos:prefLabel "non-standard arthmetic models"@en, "مدل‌های نااستاندارد حساب"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007252>
  skos:prefLabel "bounded quantifier"@en, "سور کراندار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007224>
  skos:prefLabel "first order arithmetic"@en, "حساب مرتبه اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007255>
  skos:prefLabel "meta-arithmetic"@en, "فراحساب"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007222>
  skos:prefLabel "Peano arithmetic"@en, "حساب پئانو"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007227>
  skos:prefLabel "مدل‌های حساب"@fa, "models of arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007242>
  skos:prefLabel "محاسبه‌پذیری"@fa, "computability"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007228> .

<http://www.irandoc.acir/onto/irandoc/MAT0007220>
  skos:prefLabel "Presburger arithmetic"@en, "حساب پرسبرگر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007228> .