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

<http://www.irandoc.acir/onto/irandoc/MAT0007363>
  skos:prefLabel "دستگاه اصل موضوعی"@fa, "axiomatic system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007379>
  skos:prefLabel "proof theory"@en, "نظریه برهان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007298>
  skos:prefLabel "inconsistency"@en, "ناسازگاری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007164>
  skos:prefLabel "antinomy"@en, "تنازع"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007392>
  skos:prefLabel "axiom of compatibility"@en, "اصل موضوع سازگاری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007221>
  skos:prefLabel "Peano axioms"@en, "اصول موضوع پئانو"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007299>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007221>, <http://www.irandoc.acir/onto/irandoc/MAT0007187>, <http://www.irandoc.acir/onto/irandoc/MAT0007164>, <http://www.irandoc.acir/onto/irandoc/MAT0007392>, <http://www.irandoc.acir/onto/irandoc/MAT0007308>, <http://www.irandoc.acir/onto/irandoc/MAT0007398>, <http://www.irandoc.acir/onto/irandoc/MAT0007363>, <http://www.irandoc.acir/onto/irandoc/MAT0007321>, <http://www.irandoc.acir/onto/irandoc/MAT0007379>, <http://www.irandoc.acir/onto/irandoc/MAT0007290>, <http://www.irandoc.acir/onto/irandoc/MAT0007264> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007297>, <http://www.irandoc.acir/onto/irandoc/MAT0007298> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007343> ;
  skos:prefLabel "سازگاری"@fa, "consistency"@en .

<http://www.irandoc.acir/onto/irandoc/MAT0007187>
  skos:prefLabel "proposition"@en, "گزاره"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007308>
  skos:prefLabel "مسئله تصمیم"@fa, "decision problem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007297>
  skos:prefLabel "consistency problem"@en, "مسئله سازگاری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007398>
  skos:prefLabel "axioms of set theory"@en, "اصول موضوع نظریه مجموعه‌ها"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007264>
  skos:prefLabel "consistent sentence"@en, "جمله سازگار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007343>
  skos:prefLabel "منطق عمومی"@fa, "general logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007290>
  skos:prefLabel "نظریه سازگار"@fa, "consistent theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .

<http://www.irandoc.acir/onto/irandoc/MAT0007321>
  skos:prefLabel "semantic"@en, "معنا شناسی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007299> .