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

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

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

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

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

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

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

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

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0007630>
  skos:prefLabel "آزمون وات"@fa, "vaught test"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007265> .

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

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

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0007668>
  skos:prefLabel "نظریه مدل کامل"@fa, "model complete theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007265> .

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

<http://www.irandoc.acir/onto/irandoc/math0007265>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007362>, <http://www.irandoc.acir/onto/irandoc/math0007350>, <http://www.irandoc.acir/onto/irandoc/math0007250>, <http://www.irandoc.acir/onto/irandoc/math0007604>, <http://www.irandoc.acir/onto/irandoc/math0007360>, <http://www.irandoc.acir/onto/irandoc/math0007179>, <http://www.irandoc.acir/onto/irandoc/math0007668>, <http://www.irandoc.acir/onto/irandoc/math0007715>, <http://www.irandoc.acir/onto/irandoc/math0007173>, <http://www.irandoc.acir/onto/irandoc/math0007377>, <http://www.irandoc.acir/onto/irandoc/math0007716>, <http://www.irandoc.acir/onto/irandoc/math0007669>, <http://www.irandoc.acir/onto/irandoc/math0007196>, <http://www.irandoc.acir/onto/irandoc/math0007714>, <http://www.irandoc.acir/onto/irandoc/math0007194>, <http://www.irandoc.acir/onto/irandoc/math0007363>, <http://www.irandoc.acir/onto/irandoc/math0007373>, <http://www.irandoc.acir/onto/irandoc/math0007191>, <http://www.irandoc.acir/onto/irandoc/math0007570>, <http://www.irandoc.acir/onto/irandoc/math0007182>, <http://www.irandoc.acir/onto/irandoc/math0007630>, <http://www.irandoc.acir/onto/irandoc/math0007665>, <http://www.irandoc.acir/onto/irandoc/math0007650>, <http://www.irandoc.acir/onto/irandoc/math0007361>, <http://www.irandoc.acir/onto/irandoc/math0007293>, <http://www.irandoc.acir/onto/irandoc/math0007670> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007261>, <http://www.irandoc.acir/onto/irandoc/math0007262>, <http://www.irandoc.acir/onto/irandoc/math0007263>, <http://www.irandoc.acir/onto/irandoc/math0007264> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1099> ;
  skos:prefLabel "جمله"@fa, "sentence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro1042> skos:related <http://www.irandoc.acir/onto/irandoc/math0007265> .
<http://www.irandoc.acir/onto/irandoc/math0007373>
  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/math0007265> .

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

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

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

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