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

<http://www.irandoc.acir/onto/irandoc/INSP0007317>
  skos:prefLabel "نظریه فهرست"@fa, "category theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007469>
  skos:prefLabel "هندسه"@fa, "geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0014475>
  skos:prefLabel "calculation"@en, "محاسبه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007614>
  skos:prefLabel "احتمال"@fa, "probability"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0014069>
  skos:prefLabel "منطق صوری"@fa, "formal logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007335>
  skos:prefLabel "نگاشت همدیس"@fa, "conformal mapping"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007623>
  skos:prefLabel "نظریه مجموعه‌ها"@fa, "set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007316>
  skos:prefLabel "حساب"@fa, "arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007306>
  skos:prefLabel "جبر"@fa, "algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007334>
  skos:prefLabel "ریاضیات ترکیبی"@fa, "combinatorial mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007390>
  skos:prefLabel "طبقات هم‌ارزی"@fa, "equivalence classes"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0013905>
  skos:prefLabel "رایانش ریاضیات"@fa, "mathematics computing"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007339>
  skos:prefLabel "دوگانی (ریاضیات)"@fa, "duality (mathematics)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007602>
  skos:prefLabel "نظریه اعداد"@fa, "number theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007599>
  skos:prefLabel "ریخت‌شناسی ریاضی"@fa, "mathematical morphology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007338>
  skos:prefLabel "همگرایی"@fa, "convergence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007601>
  skos:prefLabel "نظریه شبکه (گراف)"@fa, "network theory (graphs)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

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

<http://www.irandoc.acir/onto/irandoc/INSP0007598>
  skos:prefLabel "آنالیز ریاضی"@fa, "mathematical analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007691>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0007306>, <http://www.irandoc.acir/onto/irandoc/INSP0007690>, <http://www.irandoc.acir/onto/irandoc/INSP0007602>, <http://www.irandoc.acir/onto/irandoc/INSP0007599>, <http://www.irandoc.acir/onto/irandoc/INSP0007389>, <http://www.irandoc.acir/onto/irandoc/INSP0014069>, <http://www.irandoc.acir/onto/irandoc/INSP0007402>, <http://www.irandoc.acir/onto/irandoc/INSP0007469>, <http://www.irandoc.acir/onto/irandoc/INSP0007339>, <http://www.irandoc.acir/onto/irandoc/INSP0007600>, <http://www.irandoc.acir/onto/irandoc/INSP0007623>, <http://www.irandoc.acir/onto/irandoc/INSP0007334>, <http://www.irandoc.acir/onto/irandoc/INSP0007316>, <http://www.irandoc.acir/onto/irandoc/INSP0007335>, <http://www.irandoc.acir/onto/irandoc/INSP0007614>, <http://www.irandoc.acir/onto/irandoc/INSP0007465>, <http://www.irandoc.acir/onto/irandoc/INSP0007390>, <http://www.irandoc.acir/onto/irandoc/INSP0007317>, <http://www.irandoc.acir/onto/irandoc/INSP0007671>, <http://www.irandoc.acir/onto/irandoc/INSP0007598>, <http://www.irandoc.acir/onto/irandoc/INSP0007601>, <http://www.irandoc.acir/onto/irandoc/INSP0007338> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0014475>, <http://www.irandoc.acir/onto/irandoc/INSP0013905> ;
  skos:prefLabel "mathematics"@en, "ریاضی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/INSP0007402>
  skos:prefLabel "نظریه برآورد"@fa, "estimation theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007600>
  skos:prefLabel "عملگر ریاضی"@fa, "mathematical operators"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007690>
  skos:prefLabel "توپولوژی"@fa, "topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007389>
  skos:prefLabel "معادله"@fa, "equation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .

<http://www.irandoc.acir/onto/irandoc/INSP0007671>
  skos:prefLabel "آمار"@fa, "statistics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0007691> .