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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007683>
  skos:prefLabel "minimal set"@en, "مجموعه مینیمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007277> .

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

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

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

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

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

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007200>
  skos:prefLabel "قاعده"@fa, "rule"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007277> .

<http://www.irandoc.acir/onto/irandoc/MAT0007188>
  skos:prefLabel "عبارت"@fa, "statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007277> .

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007361>
  skos:prefLabel "natural deduction"@en, "استنتاج طبیعی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007277> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007704>
  skos:prefLabel "stable formula"@en, "فرمول پایدار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007277> .

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

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007260>
  skos:prefLabel "complexity of formula"@en, "پیچیدگی فرمول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007277> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007265>
  skos:prefLabel "sentence"@en, "جمله"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007277> .

<http://www.irandoc.acir/onto/irandoc/MAT0007715>
  skos:prefLabel "strongly minimal formula"@en, "فرمول قوی‌مینیمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007277> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007277>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007375>, <http://www.irandoc.acir/onto/irandoc/MAT0007196>, <http://www.irandoc.acir/onto/irandoc/MAT0007192>, <http://www.irandoc.acir/onto/irandoc/MAT0007676>, <http://www.irandoc.acir/onto/irandoc/MAT0007377>, <http://www.irandoc.acir/onto/irandoc/MAT0007363>, <http://www.irandoc.acir/onto/irandoc/MAT0007643>, <http://www.irandoc.acir/onto/irandoc/MAT0007704>, <http://www.irandoc.acir/onto/irandoc/MAT0007670>, <http://www.irandoc.acir/onto/irandoc/MAT0007233>, <http://www.irandoc.acir/onto/irandoc/MAT0007194>, <http://www.irandoc.acir/onto/irandoc/MAT0007201>, <http://www.irandoc.acir/onto/irandoc/MAT0007200>, <http://www.irandoc.acir/onto/irandoc/MAT0007683>, <http://www.irandoc.acir/onto/irandoc/MAT0007645>, <http://www.irandoc.acir/onto/irandoc/MAT0007640>, <http://www.irandoc.acir/onto/irandoc/MAT0007179>, <http://www.irandoc.acir/onto/irandoc/MAT0007250>, <http://www.irandoc.acir/onto/irandoc/MAT0007715>, <http://www.irandoc.acir/onto/irandoc/MAT0007604>, <http://www.irandoc.acir/onto/irandoc/MAT0007188>, <http://www.irandoc.acir/onto/irandoc/MAT0007665>, <http://www.irandoc.acir/onto/irandoc/MAT0007206>, <http://www.irandoc.acir/onto/irandoc/MAT0007254>, <http://www.irandoc.acir/onto/irandoc/MAT0007361>, <http://www.irandoc.acir/onto/irandoc/MAT0007699>, <http://www.irandoc.acir/onto/irandoc/MAT0007163> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007271>, <http://www.irandoc.acir/onto/irandoc/MAT0007265>, <http://www.irandoc.acir/onto/irandoc/MAT0007260>, <http://www.irandoc.acir/onto/irandoc/MAT0007269>, <http://www.irandoc.acir/onto/irandoc/MAT0007267>, <http://www.irandoc.acir/onto/irandoc/MAT0007274>, <http://www.irandoc.acir/onto/irandoc/MAT0007270>, <http://www.irandoc.acir/onto/irandoc/MAT0007275>, <http://www.irandoc.acir/onto/irandoc/MAT0007268>, <http://www.irandoc.acir/onto/irandoc/MAT0007276> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "فرمول"@fa, "formula"@en ;
  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/MAT0007277> .

<http://www.irandoc.acir/onto/irandoc/MAT0007676>
  skos:prefLabel "Morley degree"@en, "درجه مورلی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007277> .

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

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