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

<http://www.irandoc.acir/onto/irandoc/math0007652>
  skos:prefLabel "مدل اشباع"@fa, "saturated model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007408> .

<http://www.irandoc.acir/onto/irandoc/mathpro201> skos:related <http://www.irandoc.acir/onto/irandoc/math0007408> .
<http://www.irandoc.acir/onto/irandoc/math0007618>
  skos:prefLabel "قوت ساختار"@fa, "cardinality of structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007408> .

<http://www.irandoc.acir/onto/irandoc/math0007405>
  skos:prefLabel "فرمول هاوسدورف"@fa, "hausdorff formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007408> .

<http://www.irandoc.acir/onto/irandoc/math0007712>
  skos:prefLabel "هندسه) نظریه پایداری)"@fa, "stability theory(geometry)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007408> .

<http://www.irandoc.acir/onto/irandoc/math0007420>
  skos:prefLabel "اصلی"@fa, "cardinal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007408> .

<http://www.irandoc.acir/onto/irandoc/math0007228>
  skos:prefLabel "حساب (منطق)"@fa, "arithmetic (logic)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007408> .

<http://www.irandoc.acir/onto/irandoc/math0007600>
  skos:prefLabel "ساختارهای متناهی‌مولد"@fa, "finitely-generated structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007408> .

<http://www.irandoc.acir/onto/irandoc/math0007408>
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007652>, <http://www.irandoc.acir/onto/irandoc/math0007618>, <http://www.irandoc.acir/onto/irandoc/math0007712>, <http://www.irandoc.acir/onto/irandoc/math0007228>, <http://www.irandoc.acir/onto/irandoc/math0007600>, <http://www.irandoc.acir/onto/irandoc/math0007581> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007405>, <http://www.irandoc.acir/onto/irandoc/math0007404>, <http://www.irandoc.acir/onto/irandoc/math0007406> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007420> ;
  skos:altLabel "حساب کاردینال"@fa, "" ;
  skos:prefLabel "حساب اعداد اصلی"@fa, "cardinal arithmetic"@en .

<http://www.irandoc.acir/onto/irandoc/mathpro193> skos:broader <http://www.irandoc.acir/onto/irandoc/math0007408> .
<http://www.irandoc.acir/onto/irandoc/math0007406>
  skos:prefLabel "مجموعه تکین"@fa, "singleton"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007408> .

<http://www.irandoc.acir/onto/irandoc/math0007581>
  skos:prefLabel "بسط ساختار"@fa, "expansion of structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007408> .

<http://www.irandoc.acir/onto/irandoc/math0007404>
  skos:prefLabel "عدد اصلی"@fa, "cardinal number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007408> .