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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro1043> skos:related <http://www.irandoc.acir/onto/irandoc/math0007350> .
<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:narrower <http://www.irandoc.acir/onto/irandoc/math0007350> .

<http://www.irandoc.acir/onto/irandoc/math0007350>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007265>, <http://www.irandoc.acir/onto/irandoc/math0007216>, <http://www.irandoc.acir/onto/irandoc/math0007604>, <http://www.irandoc.acir/onto/irandoc/math0007248>, <http://www.irandoc.acir/onto/irandoc/math0007246>, <http://www.irandoc.acir/onto/irandoc/math0007207>, <http://www.irandoc.acir/onto/irandoc/math0007292>, <http://www.irandoc.acir/onto/irandoc/math0007306>, <http://www.irandoc.acir/onto/irandoc/math0007210>, <http://www.irandoc.acir/onto/irandoc/math0007244>, <http://www.irandoc.acir/onto/irandoc/math0007351> ;
  skos:prefLabel "logical connectives"@en, "ادات منطقی"@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007349>, <http://www.irandoc.acir/onto/irandoc/math0007347>, <http://www.irandoc.acir/onto/irandoc/math0007344> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007379> .

<http://www.irandoc.acir/onto/irandoc/math0007265>
  skos:prefLabel "جمله"@fa, "sentence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007350> .

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

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

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

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

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

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

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

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