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

<http://www.irandoc.acir/onto/irandoc/MAT0007590>
  skos:prefLabel "Ehrenfeucht-Mostowski structure"@en, "ساختار ارنفاست-موستوفسکی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007648>
  skos:prefLabel "Lowenheim-Skolem theorem"@en, "قضیه لوون هایم-اسکولم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007657>
  skos:prefLabel "canonical model"@en, "مدل متعارف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007279>
  skos:prefLabel "one-sorted language"@en, "زبان تک-گونه‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007567>
  skos:prefLabel "model theory of set theory"@en, "نظریه مدل نظریه مجموعه‌ها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007613>
  skos:prefLabel "first order structures"@en, "ساختارهای مرتبه‌اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007300>
  skos:prefLabel "compactness theorem"@en, "قضیه فشردگی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007216>
  skos:prefLabel "Kripke model"@en, "مدل کریپکی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007650>
  skos:prefLabel "مدل اتمی"@fa, "atomic model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007656>
  skos:prefLabel "monster model"@en, "مدل غول‌پیکر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007640>
  skos:prefLabel "تایپ"@fa, "type"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007655>
  skos:prefLabel "generic model"@en, "مدل عام"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007565>
  skos:prefLabel "definable set"@en, "مجموعه تعریف‌پذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007280>
  skos:prefLabel "many-sorted language"@en, "زبان چند-گونه‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007644>
  skos:prefLabel "Henkin constuction"@en, "ساختار هنکین"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007672>
  skos:prefLabel "ساختار"@fa, "structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007625>
  skos:prefLabel "ultraproducts of models"@en, "ابرضرب مدل‌ها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007653>
  skos:prefLabel "decision model"@en, "مدل تصمیم‌"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007649>
  skos:prefLabel "Ryll-Nardzewski theorem"@en, "قضییه ریل- ناردوسکی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007671> .

<http://www.irandoc.acir/onto/irandoc/MAT0007671>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007613>, <http://www.irandoc.acir/onto/irandoc/MAT0007281>, <http://www.irandoc.acir/onto/irandoc/MAT0007279>, <http://www.irandoc.acir/onto/irandoc/MAT0007567>, <http://www.irandoc.acir/onto/irandoc/MAT0007280>, <http://www.irandoc.acir/onto/irandoc/MAT0007565>, <http://www.irandoc.acir/onto/irandoc/MAT0007216>, <http://www.irandoc.acir/onto/irandoc/MAT0007576>, <http://www.irandoc.acir/onto/irandoc/MAT0007227>, <http://www.irandoc.acir/onto/irandoc/MAT0007250>, <http://www.irandoc.acir/onto/irandoc/MAT0007300>, <http://www.irandoc.acir/onto/irandoc/MAT0007375>, <http://www.irandoc.acir/onto/irandoc/MAT0007590> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007656>, <http://www.irandoc.acir/onto/irandoc/MAT0007625>, <http://www.irandoc.acir/onto/irandoc/MAT0007645>, <http://www.irandoc.acir/onto/irandoc/MAT0007668>, <http://www.irandoc.acir/onto/irandoc/MAT0007650>, <http://www.irandoc.acir/onto/irandoc/MAT0007657>, <http://www.irandoc.acir/onto/irandoc/MAT0007649>, <http://www.irandoc.acir/onto/irandoc/MAT0007655>, <http://www.irandoc.acir/onto/irandoc/MAT0007630>, <http://www.irandoc.acir/onto/irandoc/MAT0007642>, <http://www.irandoc.acir/onto/irandoc/MAT0007653>, <http://www.irandoc.acir/onto/irandoc/MAT0007648>, <http://www.irandoc.acir/onto/irandoc/MAT0007629>, <http://www.irandoc.acir/onto/irandoc/MAT0007640>, <http://www.irandoc.acir/onto/irandoc/MAT0007670>, <http://www.irandoc.acir/onto/irandoc/MAT0007644>, <http://www.irandoc.acir/onto/irandoc/MAT0007652>, <http://www.irandoc.acir/onto/irandoc/MAT0007663>, <http://www.irandoc.acir/onto/irandoc/MAT0007664> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007672> ;
  skos:prefLabel "مدل"@fa, "model"@en ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> .

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

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