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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007264>
  skos:prefLabel "consistent sentence"@en, "جمله سازگار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007265> .

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007173>
  skos:prefLabel "absurd statement"@en, "حکم باطل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007265> .

<http://www.irandoc.acir/onto/irandoc/MAT0007362>
  skos:prefLabel "حساب دنباله‌ها"@fa, "sequent calculus"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007265> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007182>
  skos:prefLabel "رد"@fa, "rejection"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007265> .

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007262>
  skos:prefLabel "undecidable sentence"@en, "جمله تصمیم‌ناپذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007265> .

<http://www.irandoc.acir/onto/irandoc/MAT0007191>
  skos:prefLabel "syllogism"@en, "قیاس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007265> .

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

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007350>
  skos:prefLabel "ادات منطقی"@fa, "logical connectives"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007265> .

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007714>
  skos:prefLabel "strongly minimal structure"@en, "ساختار قوی‌مینیمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007265> .

<http://www.irandoc.acir/onto/irandoc/MAT0007265>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007262>, <http://www.irandoc.acir/onto/irandoc/MAT0007261>, <http://www.irandoc.acir/onto/irandoc/MAT0007264>, <http://www.irandoc.acir/onto/irandoc/MAT0007263> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007188>, <http://www.irandoc.acir/onto/irandoc/MAT0007570>, <http://www.irandoc.acir/onto/irandoc/MAT0007665>, <http://www.irandoc.acir/onto/irandoc/MAT0007716>, <http://www.irandoc.acir/onto/irandoc/MAT0007604>, <http://www.irandoc.acir/onto/irandoc/MAT0007362>, <http://www.irandoc.acir/onto/irandoc/MAT0007182>, <http://www.irandoc.acir/onto/irandoc/MAT0007250>, <http://www.irandoc.acir/onto/irandoc/MAT0007377>, <http://www.irandoc.acir/onto/irandoc/MAT0007363>, <http://www.irandoc.acir/onto/irandoc/MAT0007670>, <http://www.irandoc.acir/onto/irandoc/MAT0007191>, <http://www.irandoc.acir/onto/irandoc/MAT0007179>, <http://www.irandoc.acir/onto/irandoc/MAT0007196>, <http://www.irandoc.acir/onto/irandoc/MAT0007630>, <http://www.irandoc.acir/onto/irandoc/MAT0007669>, <http://www.irandoc.acir/onto/irandoc/MAT0007668>, <http://www.irandoc.acir/onto/irandoc/MAT0007293>, <http://www.irandoc.acir/onto/irandoc/MAT0007373>, <http://www.irandoc.acir/onto/irandoc/MAT0007714>, <http://www.irandoc.acir/onto/irandoc/MAT0007173>, <http://www.irandoc.acir/onto/irandoc/MAT0007194>, <http://www.irandoc.acir/onto/irandoc/MAT0007360>, <http://www.irandoc.acir/onto/irandoc/MAT0007650>, <http://www.irandoc.acir/onto/irandoc/MAT0007350>, <http://www.irandoc.acir/onto/irandoc/MAT0007361>, <http://www.irandoc.acir/onto/irandoc/MAT0007715> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007277> ;
  skos:prefLabel "sentence"@en, "جمله"@fa .

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

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