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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007202>
  skos:prefLabel "conjecture"@en, "حدس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

<http://www.irandoc.acir/onto/irandoc/MAT0007571>
  skos:prefLabel "elementary substructure"@en, "زیرساخت مقدماتی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007189>
  skos:prefLabel "hypothesis"@en, "فرض"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007278>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007668>, <http://www.irandoc.acir/onto/irandoc/MAT0007571>, <http://www.irandoc.acir/onto/irandoc/MAT0007572>, <http://www.irandoc.acir/onto/irandoc/MAT0007320>, <http://www.irandoc.acir/onto/irandoc/MAT0007177>, <http://www.irandoc.acir/onto/irandoc/MAT0007670>, <http://www.irandoc.acir/onto/irandoc/MAT0007420>, <http://www.irandoc.acir/onto/irandoc/MAT0007570>, <http://www.irandoc.acir/onto/irandoc/MAT0007581>, <http://www.irandoc.acir/onto/irandoc/MAT0007626>, <http://www.irandoc.acir/onto/irandoc/MAT0007360>, <http://www.irandoc.acir/onto/irandoc/MAT0007722>, <http://www.irandoc.acir/onto/irandoc/MAT0007209>, <http://www.irandoc.acir/onto/irandoc/MAT0007318>, <http://www.irandoc.acir/onto/irandoc/MAT0007202>, <http://www.irandoc.acir/onto/irandoc/MAT0007373>, <http://www.irandoc.acir/onto/irandoc/MAT0007664>, <http://www.irandoc.acir/onto/irandoc/MAT0007685>, <http://www.irandoc.acir/onto/irandoc/MAT0007723>, <http://www.irandoc.acir/onto/irandoc/MAT0007568>, <http://www.irandoc.acir/onto/irandoc/MAT0007375>, <http://www.irandoc.acir/onto/irandoc/MAT0007377>, <http://www.irandoc.acir/onto/irandoc/MAT0007630>, <http://www.irandoc.acir/onto/irandoc/MAT0007189>, <http://www.irandoc.acir/onto/irandoc/MAT0007643>, <http://www.irandoc.acir/onto/irandoc/MAT0007204>, <http://www.irandoc.acir/onto/irandoc/MAT0007697>, <http://www.irandoc.acir/onto/irandoc/MAT0007172>, <http://www.irandoc.acir/onto/irandoc/MAT0007295>, <http://www.irandoc.acir/onto/irandoc/MAT0007699>, <http://www.irandoc.acir/onto/irandoc/MAT0007645> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "قوت زبان"@fa, "cardinality of language"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007377>
  skos:prefLabel "نقیض"@fa, "negation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007172>
  skos:prefLabel "شرط"@fa, "condition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007645>
  skos:prefLabel "Tarski-Vaught theorem"@en, "قضیه تارسکی-وات"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

<http://www.irandoc.acir/onto/irandoc/MAT0007360>
  skos:prefLabel "استنتاج"@fa, "deduction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007295>
  skos:prefLabel "Godel incompleteness theorem"@en, "قضیه ناتمامیت گودل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

<http://www.irandoc.acir/onto/irandoc/MAT0007177>
  skos:prefLabel "paradox"@en, "پارادکس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007204>
  skos:prefLabel "sequent"@en, "نتیجه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007294>
  skos:prefLabel "language"@en, "زبان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

<http://www.irandoc.acir/onto/irandoc/MAT0007318>
  skos:prefLabel "semantic of first order logic"@en, "معنا شناسی منطق مرتبه اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

<http://www.irandoc.acir/onto/irandoc/MAT0007668>
  skos:prefLabel "model complete theory"@en, "نظریه مدل کامل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

<http://www.irandoc.acir/onto/irandoc/MAT0007209>
  skos:prefLabel "جبر رابطه‌ای"@fa, "relational algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007643>
  skos:prefLabel "witness property"@en, "ویژگی شاهد"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007320>
  skos:prefLabel "معنا شناسی منطق مرتبه دوم"@fa, "semantic of second order logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .

<http://www.irandoc.acir/onto/irandoc/MAT0007373>
  skos:prefLabel "تناقض"@fa, "contradiction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007278> .