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

<http://www.irandoc.acir/onto/irandoc/MAT0003882>
  skos:prefLabel "Kakutani fixed point theorem"@en, "قضیه نقطه ثابت کاکوتانی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003876>
  skos:prefLabel "Brouwer fixed point theorem"@en, "قضیه نقطه ثابت براوئر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003534>
  skos:prefLabel "تابع نرمال"@fa, "normal function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003880>
  skos:prefLabel "Atiyah–Bott fixed point theorem"@en, "قضیه نقطه ثابت عطیه-بوت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003874>
  skos:prefLabel "Schuader theorem"@en, "قضیه شوادر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003879>
  skos:prefLabel "Tarski fixed point theorem"@en, "قضیه نقطه ثابت تارسکی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003751>
  skos:prefLabel "complete metric space"@en, "فضای متری کامل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003883>
  skos:prefLabel "Lefschetz fixed point theorem"@en, "قضیه نقطه ثابت لفشتس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003877>
  skos:prefLabel "Borel fixed point theorem"@en, "قضیه نقطه ثابت بورل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003881>
  skos:prefLabel "Caristi fixed-point theorem"@en, "قضیه نقطه ثابت کاریستی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003886>
  skos:prefLabel "fixed point"@en, "نقطه ثابت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003875>
  skos:prefLabel "Banach fixed point theorem"@en, "قضیه نقطه ثابت باناخ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0006798>
  skos:prefLabel "روش نقطه ثابت"@fa, "fixed point method"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003884>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0003883>, <http://www.irandoc.acir/onto/irandoc/MAT0003875>, <http://www.irandoc.acir/onto/irandoc/MAT0003877>, <http://www.irandoc.acir/onto/irandoc/MAT0003878>, <http://www.irandoc.acir/onto/irandoc/MAT0003874>, <http://www.irandoc.acir/onto/irandoc/MAT0003876>, <http://www.irandoc.acir/onto/irandoc/MAT0003882>, <http://www.irandoc.acir/onto/irandoc/MAT0003880>, <http://www.irandoc.acir/onto/irandoc/MAT0003881>, <http://www.irandoc.acir/onto/irandoc/MAT0003879> ;
  skos:prefLabel "fixed point theorem"@en, "قضیه نقطه ثابت"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003886> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003534>, <http://www.irandoc.acir/onto/irandoc/MAT0003751>, <http://www.irandoc.acir/onto/irandoc/MAT0006798>, <http://www.irandoc.acir/onto/irandoc/MAT0003766> ;
  skos:scopeNote "نوع معینی از نگاشت یک مجموعه به توی خودش دست کم یک نقطه ثابت دارد."@fa .

<http://www.irandoc.acir/onto/irandoc/MAT0003878>
  skos:prefLabel "Boyd-Wong fixed point theorem"@en, "قضیه نقطه ثابت بید-ونگ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003884> .

<http://www.irandoc.acir/onto/irandoc/MAT0003766>
  skos:prefLabel "نگاشت سازگار"@fa, "compatible map"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003884> .