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

<http://www.irandoc.acir/onto/irandoc/MAT0003955>
  skos:prefLabel "invariance of domain"@en, "ناوردایی دامنه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003639> .

<http://www.irandoc.acir/onto/irandoc/MAT0006604>
  skos:prefLabel "Schauder first fixed point theorem"@en, "اولین قضیه نقطه ثابت شاودر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003639> .

<http://www.irandoc.acir/onto/irandoc/MAT0003467>
  skos:prefLabel "نظریه گراف"@fa, "graph theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003639> .

<http://www.irandoc.acir/onto/irandoc/MAT0003640>
  skos:prefLabel "توپولوژی ترکیبیاتی"@fa, "combinatorial topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0003639> .

<http://www.irandoc.acir/onto/irandoc/MAT0006605>
  skos:prefLabel "Schauder second fixed point theorem"@en, "دومین قضیه نقطه ثابت شاودر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003639> .

<http://www.irandoc.acir/onto/irandoc/MAT0003639>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0003955>, <http://www.irandoc.acir/onto/irandoc/MAT0006605>, <http://www.irandoc.acir/onto/irandoc/MAT0006604>, <http://www.irandoc.acir/onto/irandoc/MAT0003467> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0003640> ;
  skos:prefLabel "Sperner lemma"@en, "لم اسپرنر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

