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

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

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro258> skos:related <http://www.irandoc.acir/onto/irandoc/math0007248> .
<http://www.irandoc.acir/onto/irandoc/math0007248>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007304>, <http://www.irandoc.acir/onto/irandoc/math0007724>, <http://www.irandoc.acir/onto/irandoc/math0007568>, <http://www.irandoc.acir/onto/irandoc/math0007379>, <http://www.irandoc.acir/onto/irandoc/math0007343>, <http://www.irandoc.acir/onto/irandoc/math0007186>, <http://www.irandoc.acir/onto/irandoc/math0007209>, <http://www.irandoc.acir/onto/irandoc/math0007483>, <http://www.irandoc.acir/onto/irandoc/math0007350>, <http://www.irandoc.acir/onto/irandoc/math0007368>, <http://www.irandoc.acir/onto/irandoc/math0008747>, <http://www.irandoc.acir/onto/irandoc/math0007378>, <http://www.irandoc.acir/onto/irandoc/math0007527>, <http://www.irandoc.acir/onto/irandoc/math0007222>, <http://www.irandoc.acir/onto/irandoc/math0007208>, <http://www.irandoc.acir/onto/irandoc/math0007195> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007246>, <http://www.irandoc.acir/onto/irandoc/math0007244>, <http://www.irandoc.acir/onto/irandoc/math0007243>, <http://www.irandoc.acir/onto/irandoc/math0007247> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "algebraic logic"@en, "منطق جبری"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro890> ;
  skos:scopeNote "سیستم کامل از اعمال جبری که به کمک روش های جبری به قالب ریزی منطق می پردازد."@fa .

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

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

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

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

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

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

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

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

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

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

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

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

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

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