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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007722>
  skos:prefLabel "classification of first order strucuters"@en, "رده‌بندی ساختارهای مرتبه‌اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007613>
  skos:prefLabel "first order structures"@en, "ساختارهای مرتبه‌اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007618>
  skos:prefLabel "cardinality of structure"@en, "قوت ساختار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007717>
  skos:prefLabel "strongly minimal theory"@en, "نظریه قوی‌مینیمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007621>
  skos:prefLabel "sort of structure"@en, "گونه ساختار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007248>
  skos:prefLabel "algebraic logic"@en, "منطق جبری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007530>
  skos:prefLabel "set"@en, "مجموعه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007573>
  skos:prefLabel "substructure"@en, "زیرساخت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007579>
  skos:prefLabel "absolutely free stucture"@en, "ساختار مطلقاآزاد"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007672>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007722>, <http://www.irandoc.acir/onto/irandoc/MAT0007301>, <http://www.irandoc.acir/onto/irandoc/MAT0007250>, <http://www.irandoc.acir/onto/irandoc/MAT0007717>, <http://www.irandoc.acir/onto/irandoc/MAT0007248>, <http://www.irandoc.acir/onto/irandoc/MAT0007714>, <http://www.irandoc.acir/onto/irandoc/MAT0007530>, <http://www.irandoc.acir/onto/irandoc/MAT0007178> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "structure"@en, "ساختار"@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007579>, <http://www.irandoc.acir/onto/irandoc/MAT0007569>, <http://www.irandoc.acir/onto/irandoc/MAT0007613>, <http://www.irandoc.acir/onto/irandoc/MAT0007573>, <http://www.irandoc.acir/onto/irandoc/MAT0007671>, <http://www.irandoc.acir/onto/irandoc/MAT0007621>, <http://www.irandoc.acir/onto/irandoc/MAT0007578>, <http://www.irandoc.acir/onto/irandoc/MAT0007618> ;
  skos:altLabel "ساختمان"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007724> .

<http://www.irandoc.acir/onto/irandoc/MAT0007724>
  skos:prefLabel "نظریه مدل"@fa, "model theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007250>
  skos:prefLabel "first order language"@en, "زبان مرتبه اول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007569>
  skos:prefLabel "class of structures"@en, "رده ساختارها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007714>
  skos:prefLabel "strongly minimal structure"@en, "ساختار قوی‌مینیمال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

<http://www.irandoc.acir/onto/irandoc/MAT0007578>
  skos:prefLabel "relational strucure"@en, "ساختار رابطه‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007672> .

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