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

<http://www.irandoc.acir/onto/irandoc/MAT0007193>
  skos:prefLabel "مفهوم تعریف‌نشده"@fa, "undefiend concept"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007174>
  skos:prefLabel "absurd"@en, "باطل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007183>
  skos:prefLabel "شهود"@fa, "intuition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007660>
  skos:prefLabel "بی‌نهایت کوچک"@fa, "infinitesimal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007189>
  skos:prefLabel "hypothesis"@en, "فرض"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007192>
  skos:prefLabel "ambiguous"@en, "مبهم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007182>
  skos:prefLabel "رد"@fa, "rejection"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007188>
  skos:prefLabel "عبارت"@fa, "statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007178>
  skos:prefLabel "consequent"@en, "تالی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007181>
  skos:prefLabel "true"@en, "راست"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007177>
  skos:prefLabel "paradox"@en, "پارادکس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007180>
  skos:prefLabel "register"@en, "ثبات"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007663>
  skos:prefLabel "non-standard model"@en, "مدل نااستاندارد"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007195>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248>, <http://www.irandoc.acir/onto/irandoc/MAT0007244>, <http://www.irandoc.acir/onto/irandoc/MAT0007172>, <http://www.irandoc.acir/onto/irandoc/MAT0007660>, <http://www.irandoc.acir/onto/irandoc/MAT0007663>, <http://www.irandoc.acir/onto/irandoc/MAT0007162>, <http://www.irandoc.acir/onto/irandoc/MAT0007662>, <http://www.irandoc.acir/onto/irandoc/MAT0007246>, <http://www.irandoc.acir/onto/irandoc/MAT0007351> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007183>, <http://www.irandoc.acir/onto/irandoc/MAT0007189>, <http://www.irandoc.acir/onto/irandoc/MAT0007182>, <http://www.irandoc.acir/onto/irandoc/MAT0007188>, <http://www.irandoc.acir/onto/irandoc/MAT0007181>, <http://www.irandoc.acir/onto/irandoc/MAT0007194>, <http://www.irandoc.acir/onto/irandoc/MAT0007180>, <http://www.irandoc.acir/onto/irandoc/MAT0007193>, <http://www.irandoc.acir/onto/irandoc/MAT0007192>, <http://www.irandoc.acir/onto/irandoc/MAT0007179>, <http://www.irandoc.acir/onto/irandoc/MAT0007191>, <http://www.irandoc.acir/onto/irandoc/MAT0007178>, <http://www.irandoc.acir/onto/irandoc/MAT0007177>, <http://www.irandoc.acir/onto/irandoc/MAT0007174>, <http://www.irandoc.acir/onto/irandoc/MAT0007175> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "شی منطقی"@fa, "logical object"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007662>
  skos:prefLabel "non-standard arthmetic models"@en, "مدل‌های نااستاندارد حساب"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007194>
  skos:prefLabel "نادرست"@fa, "false"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

<http://www.irandoc.acir/onto/irandoc/MAT0007175>
  skos:prefLabel "trivial"@en, "بدیهی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007195> .

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