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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007420>
  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/MAT0007408> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007408>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007618>, <http://www.irandoc.acir/onto/irandoc/MAT0007581>, <http://www.irandoc.acir/onto/irandoc/MAT0007600>, <http://www.irandoc.acir/onto/irandoc/MAT0007652>, <http://www.irandoc.acir/onto/irandoc/MAT0007461>, <http://www.irandoc.acir/onto/irandoc/MAT0007712>, <http://www.irandoc.acir/onto/irandoc/MAT0007228> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007405>, <http://www.irandoc.acir/onto/irandoc/MAT0007406>, <http://www.irandoc.acir/onto/irandoc/MAT0007407>, <http://www.irandoc.acir/onto/irandoc/MAT0007404> ;
  skos:altLabel "حساب کاردینال"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007420> ;
  skos:prefLabel "حساب اعداد اصلی"@fa, "cardinal arithmetic"@en .

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007407>
  skos:prefLabel "empty set"@en, "مجموعه تهی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007408> .

<http://www.irandoc.acir/onto/irandoc/MAT0007461>
  skos:prefLabel "مجموعه شمارا"@fa, "countable set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007408> .

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