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

<http://www.irandoc.acir/onto/irandoc/MAT0007172>
  skos:prefLabel "شرط"@fa, "condition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007350> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007350>
  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/MAT0007351>, <http://www.irandoc.acir/onto/irandoc/MAT0007172>, <http://www.irandoc.acir/onto/irandoc/MAT0007248>, <http://www.irandoc.acir/onto/irandoc/MAT0007244>, <http://www.irandoc.acir/onto/irandoc/MAT0007210>, <http://www.irandoc.acir/onto/irandoc/MAT0007292>, <http://www.irandoc.acir/onto/irandoc/MAT0007246>, <http://www.irandoc.acir/onto/irandoc/MAT0007604>, <http://www.irandoc.acir/onto/irandoc/MAT0007306>, <http://www.irandoc.acir/onto/irandoc/MAT0007216>, <http://www.irandoc.acir/onto/irandoc/MAT0007207> ;
  skos:prefLabel "ادات منطقی"@fa, "logical connectives"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007344>, <http://www.irandoc.acir/onto/irandoc/MAT0007347>, <http://www.irandoc.acir/onto/irandoc/MAT0007349> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007379> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007349>
  skos:prefLabel "connective"@en, "رابط"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007350> .

<http://www.irandoc.acir/onto/irandoc/MAT0007344>
  skos:prefLabel "conjunction"@en, "ترکیب عطفی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007350> .

<http://www.irandoc.acir/onto/irandoc/MAT0007248>
  skos:prefLabel "algebraic logic"@en, "منطق جبری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007350> .

<http://www.irandoc.acir/onto/irandoc/MAT0007210>
  skos:prefLabel "intuitionistic mathematics"@en, "ریاضیات شهودی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007350> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007347>
  skos:prefLabel "disjunction"@en, "ترکیب فصلی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007350> .

<http://www.irandoc.acir/onto/irandoc/MAT0007351>
  skos:prefLabel "complexity of proof"@en, "پیچیدگی برهان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007350> .

<http://www.irandoc.acir/onto/irandoc/MAT0007207>
  skos:prefLabel "اصطلاحات عمومی"@fa, "general terminology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007350> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007216>
  skos:prefLabel "Kripke model"@en, "مدل کریپکی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007350> .

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

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