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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007208>
  skos:prefLabel "quantum logic"@en, "منطق کوانتومی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0007378>
  skos:prefLabel "logical method"@en, "روش منطقی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0007368>
  skos:prefLabel "modus ponens"@en, "قیاس استثنایی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0007244>
  skos:prefLabel "cylindrical construction"@en, "ساختمان استوانه‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007243>
  skos:prefLabel "polyadic algebra"@en, "جبر چندتایی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0008747>
  skos:prefLabel "نظریه کوانتومی"@fa, "quantum theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0007162>
  skos:prefLabel "definition"@en, "تعریف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007527>
  skos:prefLabel "combinatorial set theory"@en, "نظریه ترکیبیاتی مجموعه‌ها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0007248>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007527>, <http://www.irandoc.acir/onto/irandoc/MAT0007368>, <http://www.irandoc.acir/onto/irandoc/MAT0008747>, <http://www.irandoc.acir/onto/irandoc/MAT0007350>, <http://www.irandoc.acir/onto/irandoc/MAT0007186>, <http://www.irandoc.acir/onto/irandoc/MAT0007379>, <http://www.irandoc.acir/onto/irandoc/MAT0007568>, <http://www.irandoc.acir/onto/irandoc/MAT0007378>, <http://www.irandoc.acir/onto/irandoc/MAT0007483>, <http://www.irandoc.acir/onto/irandoc/MAT0007162>, <http://www.irandoc.acir/onto/irandoc/MAT0007724>, <http://www.irandoc.acir/onto/irandoc/MAT0007343>, <http://www.irandoc.acir/onto/irandoc/MAT0007209>, <http://www.irandoc.acir/onto/irandoc/MAT0007672>, <http://www.irandoc.acir/onto/irandoc/MAT0007195>, <http://www.irandoc.acir/onto/irandoc/MAT0007222>, <http://www.irandoc.acir/onto/irandoc/MAT0007208>, <http://www.irandoc.acir/onto/irandoc/MAT0007304> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007244>, <http://www.irandoc.acir/onto/irandoc/MAT0007243>, <http://www.irandoc.acir/onto/irandoc/MAT0007246>, <http://www.irandoc.acir/onto/irandoc/MAT0007247> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007725> ;
  skos:prefLabel "منطق جبری"@fa, "algebraic logic"@en ;
  skos:scopeNote "سیستم کامل از اعمال جبری که به کمک روش های جبری به قالب ریزی منطق می پردازد."@fa .

<http://www.irandoc.acir/onto/irandoc/MAT0007725>
  skos:prefLabel "منطق ریاضی"@fa, "mathematical logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0007186>
  skos:prefLabel "tautology"@en, "گزاره راستگو"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007195>
  skos:prefLabel "logical object"@en, "شی منطقی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0007483>
  skos:prefLabel "lattice (ordered set)"@en, "مشبکه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0007247>
  skos:prefLabel "categorical logic"@en, "منطق رسته‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007222>
  skos:prefLabel "Peano arithmetic"@en, "حساب پئانو"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0007209>
  skos:prefLabel "جبر رابطه‌ای"@fa, "relational algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248> .

<http://www.irandoc.acir/onto/irandoc/MAT0007246>
  skos:prefLabel "Boolean logic"@en, "منطق بولی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007248> .