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

<http://www.irandoc.acir/onto/irandoc/MAT0007661>
  skos:prefLabel "آنالیز نااستاندارد"@fa, "non-standard analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007300> .

<http://www.irandoc.acir/onto/irandoc/MAT0009626>
  skos:prefLabel "Helly theorem"@en, "قضیه هلی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007300> .

<http://www.irandoc.acir/onto/irandoc/MAT0007453>
  skos:prefLabel "زیرمجموعه"@fa, "subset"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007300> .

<http://www.irandoc.acir/onto/irandoc/MAT0007638>
  skos:prefLabel "Stone space"@en, "فضای استون"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007300> .

<http://www.irandoc.acir/onto/irandoc/MAT0007300>
  skos:prefLabel "compactness theorem"@en, "قضیه فشردگی"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007301> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007661>, <http://www.irandoc.acir/onto/irandoc/MAT0007671>, <http://www.irandoc.acir/onto/irandoc/MAT0007648>, <http://www.irandoc.acir/onto/irandoc/MAT0009626>, <http://www.irandoc.acir/onto/irandoc/MAT0007562>, <http://www.irandoc.acir/onto/irandoc/MAT0007453>, <http://www.irandoc.acir/onto/irandoc/MAT0007638> ;
  skos:scopeNote "اگر S مجموعه ای از گزاره ها باشد در زبان مرتبه اول L مدل دارد اگر و تنها اگر هر زیرمجموعه متناهی از آن مدل داشته باشد."@fa .

<http://www.irandoc.acir/onto/irandoc/MAT0007671>
  skos:prefLabel "model"@en, "مدل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007300> .

<http://www.irandoc.acir/onto/irandoc/MAT0007648>
  skos:prefLabel "Lowenheim-Skolem theorem"@en, "قضیه لوون هایم-اسکولم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007300> .

<http://www.irandoc.acir/onto/irandoc/MAT0007562>
  skos:prefLabel "weak compactness theorem"@en, "قضیه فشردگی ضعیف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007300> .

<http://www.irandoc.acir/onto/irandoc/MAT0007301>
  skos:prefLabel "classical first order logic"@en, "منطق کلاسیک مرتبه اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007300> .