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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007580>
  skos:prefLabel "ارضا شدن"@fa, "satisfaction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007613> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007613>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007611>, <http://www.irandoc.acir/onto/irandoc/MAT0007605>, <http://www.irandoc.acir/onto/irandoc/MAT0007604>, <http://www.irandoc.acir/onto/irandoc/MAT0007582>, <http://www.irandoc.acir/onto/irandoc/MAT0007589>, <http://www.irandoc.acir/onto/irandoc/MAT0007594>, <http://www.irandoc.acir/onto/irandoc/MAT0007580>, <http://www.irandoc.acir/onto/irandoc/MAT0007588>, <http://www.irandoc.acir/onto/irandoc/MAT0007612>, <http://www.irandoc.acir/onto/irandoc/MAT0007593>, <http://www.irandoc.acir/onto/irandoc/MAT0007581>, <http://www.irandoc.acir/onto/irandoc/MAT0007606>, <http://www.irandoc.acir/onto/irandoc/MAT0007587>, <http://www.irandoc.acir/onto/irandoc/MAT0007598>, <http://www.irandoc.acir/onto/irandoc/MAT0007600>, <http://www.irandoc.acir/onto/irandoc/MAT0007590> ;
  skos:prefLabel "first order structures"@en, "ساختارهای مرتبه‌اول"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007292>, <http://www.irandoc.acir/onto/irandoc/MAT0007304>, <http://www.irandoc.acir/onto/irandoc/MAT0007671>, <http://www.irandoc.acir/onto/irandoc/MAT0007250>, <http://www.irandoc.acir/onto/irandoc/MAT0007343> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007612>
  skos:prefLabel "elementary embedding"@en, "نشاندن مقدماتی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007613> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007593>
  skos:prefLabel "universal structure"@en, "ساختار جهانی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007613> .

<http://www.irandoc.acir/onto/irandoc/MAT0007611>
  skos:prefLabel "digonal embedding"@en, "نشاندن قطری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007613> .

<http://www.irandoc.acir/onto/irandoc/MAT0007304>
  skos:prefLabel "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/MAT0007613> .

<http://www.irandoc.acir/onto/irandoc/MAT0007589>
  skos:prefLabel "ساختار اتمی"@fa, "atomic structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007613> .

<http://www.irandoc.acir/onto/irandoc/MAT0007598>
  skos:prefLabel "ساختار همگن"@fa, "homogeneous structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007613> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007606>
  skos:prefLabel "Craig interpolation theorem"@en, "قضیه درون‌یابی کرایگ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007613> .

<http://www.irandoc.acir/onto/irandoc/MAT0007582>
  skos:prefLabel "completeness of theory"@en, "تمامیت نظریه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007613> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007588>
  skos:prefLabel "quantifier elimination"@en, "حذف سور"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007613> .

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007605>
  skos:prefLabel "Beth definability theorem"@en, "قضیه تعریف‌پذیری بث"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007613> .