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

<http://www.irandoc.acir/onto/irandoc/MAT0007670>
  skos:prefLabel "atomic diagram"@en, "نمودار اتمی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007722>
  skos:prefLabel "classification of first order strucuters"@en, "رده‌بندی ساختارهای مرتبه‌اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007685>
  skos:prefLabel "categoricity theorem"@en, "قضیه جازمیت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007570>
  skos:prefLabel "closed substructure"@en, "زیرساخت بسته"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<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/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007628>
  skos:prefLabel "skolem theory"@en, "نظریه اسکولم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<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/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007414>
  skos:prefLabel "عدداصلی فشرده"@fa, "compact cardinal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007278>
  skos:prefLabel "cardinality of language"@en, "قوت زبان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<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/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007699>
  skos:prefLabel "definable type"@en, "تایپ تعریف‌پذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007674>
  skos:prefLabel "Vaughtian pair"@en, "جفت واتی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007419>
  skos:prefLabel "هم‌پایانی عدداصلی"@fa, "cofinality of cardinal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007630>
  skos:prefLabel "Vaught test"@en, "آزمون وات"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007664>
  skos:prefLabel "مدل همگن"@fa, "homogeneous model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007409>
  skos:prefLabel "Hartogs number"@en, "عدد هارتوکس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007626>
  skos:prefLabel "skolem function"@en, "تابع اسکولم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007654>
  skos:prefLabel "infinite generic model"@en, "مدل عام نامتناهی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007530>
  skos:prefLabel "set"@en, "مجموعه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007607>
  skos:prefLabel "قوت نشان"@fa, "cardinality of signature"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007499>
  skos:prefLabel "ترتیبی"@fa, "ordinal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007375>
  skos:prefLabel "counterexample"@en, "مثال نقض"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007697>
  skos:prefLabel "forking"@en, "فورکینگ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

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

<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/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007411>
  skos:prefLabel "عدداصلی بزرگ"@fa, "large cardinal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007420>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007664>, <http://www.irandoc.acir/onto/irandoc/MAT0007697>, <http://www.irandoc.acir/onto/irandoc/MAT0007626>, <http://www.irandoc.acir/onto/irandoc/MAT0007722>, <http://www.irandoc.acir/onto/irandoc/MAT0007699>, <http://www.irandoc.acir/onto/irandoc/MAT0007581>, <http://www.irandoc.acir/onto/irandoc/MAT0007505>, <http://www.irandoc.acir/onto/irandoc/MAT0007499>, <http://www.irandoc.acir/onto/irandoc/MAT0007674>, <http://www.irandoc.acir/onto/irandoc/MAT0007723>, <http://www.irandoc.acir/onto/irandoc/MAT0007618>, <http://www.irandoc.acir/onto/irandoc/MAT0007628>, <http://www.irandoc.acir/onto/irandoc/MAT0007570>, <http://www.irandoc.acir/onto/irandoc/MAT0007461>, <http://www.irandoc.acir/onto/irandoc/MAT0007630>, <http://www.irandoc.acir/onto/irandoc/MAT0007712>, <http://www.irandoc.acir/onto/irandoc/MAT0007607>, <http://www.irandoc.acir/onto/irandoc/MAT0007375>, <http://www.irandoc.acir/onto/irandoc/MAT0007600>, <http://www.irandoc.acir/onto/irandoc/MAT0007572>, <http://www.irandoc.acir/onto/irandoc/MAT0007278>, <http://www.irandoc.acir/onto/irandoc/MAT0007654>, <http://www.irandoc.acir/onto/irandoc/MAT0007670>, <http://www.irandoc.acir/onto/irandoc/MAT0007652>, <http://www.irandoc.acir/onto/irandoc/MAT0007685> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007413>, <http://www.irandoc.acir/onto/irandoc/MAT0007419>, <http://www.irandoc.acir/onto/irandoc/MAT0007414>, <http://www.irandoc.acir/onto/irandoc/MAT0007415>, <http://www.irandoc.acir/onto/irandoc/MAT0007408>, <http://www.irandoc.acir/onto/irandoc/MAT0007410>, <http://www.irandoc.acir/onto/irandoc/MAT0007409>, <http://www.irandoc.acir/onto/irandoc/MAT0007412>, <http://www.irandoc.acir/onto/irandoc/MAT0007411> ;
  skos:prefLabel "cardinal"@en, "اصلی"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:altLabel "کاردینال"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007530> .

<http://www.irandoc.acir/onto/irandoc/MAT0007572>
  skos:prefLabel "cofinal substructure"@en, "زیرساخت هم پایان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<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/MAT0007420> .

<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/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007723>
  skos:prefLabel "classification theory"@en, "نظریه رده‌بندی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007420> .

<http://www.irandoc.acir/onto/irandoc/MAT0007410>
  skos:prefLabel "measurable cardinal"@en, "عدداصلی اندازه‌پذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007420> .