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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0007195>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007663>, <http://www.irandoc.acir/onto/irandoc/math0007248>, <http://www.irandoc.acir/onto/irandoc/math0007351>, <http://www.irandoc.acir/onto/irandoc/math0007660>, <http://www.irandoc.acir/onto/irandoc/math0007662>, <http://www.irandoc.acir/onto/irandoc/math0007246>, <http://www.irandoc.acir/onto/irandoc/math0007244> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007181>, <http://www.irandoc.acir/onto/irandoc/math0007183>, <http://www.irandoc.acir/onto/irandoc/math0007175>, <http://www.irandoc.acir/onto/irandoc/math0007180>, <http://www.irandoc.acir/onto/irandoc/math0007178>, <http://www.irandoc.acir/onto/irandoc/math0007174>, <http://www.irandoc.acir/onto/irandoc/math0007182>, <http://www.irandoc.acir/onto/irandoc/math0007177>, <http://www.irandoc.acir/onto/irandoc/math0007192>, <http://www.irandoc.acir/onto/irandoc/math0007179>, <http://www.irandoc.acir/onto/irandoc/math0007194>, <http://www.irandoc.acir/onto/irandoc/math0007191>, <http://www.irandoc.acir/onto/irandoc/math0007189>, <http://www.irandoc.acir/onto/irandoc/math0007193> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "شی منطقی"@fa, "logical object"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007207> .

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro1042> skos:broader <http://www.irandoc.acir/onto/irandoc/math0007195> .
<http://www.irandoc.acir/onto/irandoc/math0007193>
  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/math0007195> .

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

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