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

<http://www.irandoc.acir/onto/irandoc/MAT0007363>
  skos:prefLabel "دستگاه اصل موضوعی"@fa, "axiomatic system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007250>
  skos:prefLabel "first order language"@en, "زبان مرتبه اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007621>
  skos:prefLabel "sort of structure"@en, "گونه ساختار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007690>
  skos:prefLabel "elimination of imaginaries"@en, "حذف موهومات"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007163>
  skos:prefLabel "تعمیم"@fa, "generalization"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007201>
  skos:prefLabel "قانون"@fa, "law"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007688>
  skos:prefLabel "elimination of hyperimaginaries"@en, "حذف فراموهومات"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007196>
  skos:prefLabel "logical operations"@en, "عملیات منطقی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007206>
  skos:prefLabel "نامعادله"@fa, "inequality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007213>
  skos:prefLabel "متناهی‌گرایی"@fa, "finitism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007282>
  skos:prefLabel "embedding (logic)"@en, "نشاندن (منطق)"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007254>
  skos:prefLabel "quantifier"@en, "سور"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007587>
  skos:prefLabel "extension of structure"@en, "توسیع ساختار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007233>
  skos:prefLabel "Godel numbering"@en, "شماره‌گذاری گودل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007594>
  skos:prefLabel "locally finite structure"@en, "ساختار موضعا متناهی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007340>
  skos:prefLabel "symbolic logic"@en, "منطق نمادی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007604>
  skos:prefLabel "عبارت) جمله)"@fa, "term"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007673>
  skos:prefLabel "uncountably categorical"@en, "رسته‌ای ناشمارا"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007504>
  skos:prefLabel "ordered set"@en, "مجموعه مرتب"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007212>
  skos:prefLabel "russian constactivism"@en, "ساخت‌گرایی روسی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007281>
  skos:prefLabel "sort of language"@en, "گونه زبان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007294>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007581>, <http://www.irandoc.acir/onto/irandoc/MAT0007629>, <http://www.irandoc.acir/onto/irandoc/MAT0007171>, <http://www.irandoc.acir/onto/irandoc/MAT0007209>, <http://www.irandoc.acir/onto/irandoc/MAT0007551>, <http://www.irandoc.acir/onto/irandoc/MAT0007373>, <http://www.irandoc.acir/onto/irandoc/MAT0007157>, <http://www.irandoc.acir/onto/irandoc/MAT0007570>, <http://www.irandoc.acir/onto/irandoc/MAT0007375>, <http://www.irandoc.acir/onto/irandoc/MAT0007315>, <http://www.irandoc.acir/onto/irandoc/MAT0007308>, <http://www.irandoc.acir/onto/irandoc/MAT0007340>, <http://www.irandoc.acir/onto/irandoc/MAT0007665>, <http://www.irandoc.acir/onto/irandoc/MAT0007192>, <http://www.irandoc.acir/onto/irandoc/MAT0007668>, <http://www.irandoc.acir/onto/irandoc/MAT0007310>, <http://www.irandoc.acir/onto/irandoc/MAT0007663>, <http://www.irandoc.acir/onto/irandoc/MAT0007177>, <http://www.irandoc.acir/onto/irandoc/MAT0007377>, <http://www.irandoc.acir/onto/irandoc/MAT0007204>, <http://www.irandoc.acir/onto/irandoc/MAT0007163>, <http://www.irandoc.acir/onto/irandoc/MAT0007604>, <http://www.irandoc.acir/onto/irandoc/MAT0007202>, <http://www.irandoc.acir/onto/irandoc/MAT0007669>, <http://www.irandoc.acir/onto/irandoc/MAT0007196>, <http://www.irandoc.acir/onto/irandoc/MAT0007189>, <http://www.irandoc.acir/onto/irandoc/MAT0007621>, <http://www.irandoc.acir/onto/irandoc/MAT0007213>, <http://www.irandoc.acir/onto/irandoc/MAT0007587>, <http://www.irandoc.acir/onto/irandoc/MAT0007642>, <http://www.irandoc.acir/onto/irandoc/MAT0007227>, <http://www.irandoc.acir/onto/irandoc/MAT0007351>, <http://www.irandoc.acir/onto/irandoc/MAT0007626>, <http://www.irandoc.acir/onto/irandoc/MAT0007179>, <http://www.irandoc.acir/onto/irandoc/MAT0007670>, <http://www.irandoc.acir/onto/irandoc/MAT0007206>, <http://www.irandoc.acir/onto/irandoc/MAT0007576>, <http://www.irandoc.acir/onto/irandoc/MAT0007363>, <http://www.irandoc.acir/onto/irandoc/MAT0007194>, <http://www.irandoc.acir/onto/irandoc/MAT0007320>, <http://www.irandoc.acir/onto/irandoc/MAT0007504>, <http://www.irandoc.acir/onto/irandoc/MAT0007360>, <http://www.irandoc.acir/onto/irandoc/MAT0007201>, <http://www.irandoc.acir/onto/irandoc/MAT0007723>, <http://www.irandoc.acir/onto/irandoc/MAT0007594>, <http://www.irandoc.acir/onto/irandoc/MAT0007688>, <http://www.irandoc.acir/onto/irandoc/MAT0007571>, <http://www.irandoc.acir/onto/irandoc/MAT0007203>, <http://www.irandoc.acir/onto/irandoc/MAT0007573>, <http://www.irandoc.acir/onto/irandoc/MAT0007318>, <http://www.irandoc.acir/onto/irandoc/MAT0007600>, <http://www.irandoc.acir/onto/irandoc/MAT0007690>, <http://www.irandoc.acir/onto/irandoc/MAT0007217>, <http://www.irandoc.acir/onto/irandoc/MAT0007172>, <http://www.irandoc.acir/onto/irandoc/MAT0007697>, <http://www.irandoc.acir/onto/irandoc/MAT0007643>, <http://www.irandoc.acir/onto/irandoc/MAT0007212>, <http://www.irandoc.acir/onto/irandoc/MAT0007699>, <http://www.irandoc.acir/onto/irandoc/MAT0007664>, <http://www.irandoc.acir/onto/irandoc/MAT0007628>, <http://www.irandoc.acir/onto/irandoc/MAT0007233>, <http://www.irandoc.acir/onto/irandoc/MAT0007399>, <http://www.irandoc.acir/onto/irandoc/MAT0007685>, <http://www.irandoc.acir/onto/irandoc/MAT0007178>, <http://www.irandoc.acir/onto/irandoc/MAT0007645>, <http://www.irandoc.acir/onto/irandoc/MAT0007295>, <http://www.irandoc.acir/onto/irandoc/MAT0007673>, <http://www.irandoc.acir/onto/irandoc/MAT0007722> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007282>, <http://www.irandoc.acir/onto/irandoc/MAT0007293>, <http://www.irandoc.acir/onto/irandoc/MAT0007277>, <http://www.irandoc.acir/onto/irandoc/MAT0007281>, <http://www.irandoc.acir/onto/irandoc/MAT0007254>, <http://www.irandoc.acir/onto/irandoc/MAT0007250>, <http://www.irandoc.acir/onto/irandoc/MAT0007257>, <http://www.irandoc.acir/onto/irandoc/MAT0007278> ;
  skos:prefLabel "زبان"@fa, "language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007343> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007194>
  skos:prefLabel "نادرست"@fa, "false"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007665>
  skos:prefLabel "model completion of theory"@en, "مدل تکمیل‌شده نظریه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007179>
  skos:prefLabel "assertion"@en, "تصدیق"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007399>
  skos:prefLabel "definable class"@en, "رده تعریف‌پذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007217>
  skos:prefLabel "constructive mathematics"@en, "ریاضیات ساختی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007629>
  skos:prefLabel "skolemisation of a model"@en, "اسکولمی‌کردن مدل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007293>
  skos:prefLabel "theory"@en, "نظریه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007551>
  skos:prefLabel "forcing language"@en, "زبان اظهار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007178>
  skos:prefLabel "consequent"@en, "تالی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007203>
  skos:prefLabel "lemma"@en, "لم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007257>
  skos:prefLabel "meta-Language"@en, "فرازبان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007310>
  skos:prefLabel "ارزش در مدل"@fa, "truth in model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007351>
  skos:prefLabel "complexity of proof"@en, "پیچیدگی برهان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007157>
  skos:prefLabel "تساوی"@fa, "equality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007308>
  skos:prefLabel "مسئله تصمیم"@fa, "decision problem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <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/MAT0007294> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007277>
  skos:prefLabel "فرمول"@fa, "formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007192>
  skos:prefLabel "ambiguous"@en, "مبهم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007663>
  skos:prefLabel "non-standard model"@en, "مدل نااستاندارد"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007343>
  skos:prefLabel "منطق عمومی"@fa, "general logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007315>
  skos:prefLabel "tautological implication"@en, "نتیجه توتولوژیک"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007576>
  skos:prefLabel "ساختارهای o-مینیمال"@fa, "o-minimal structers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007171>
  skos:prefLabel "گزاره دو شرطی"@fa, "biconditional statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

<http://www.irandoc.acir/onto/irandoc/MAT0007642>
  skos:prefLabel "chain of models"@en, "زنجیر مدل‌ها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007294> .