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

<http://www.irandoc.acir/onto/irandoc/MAT0007214>
  skos:prefLabel "propositional Kripke model"@en, "مدل کریپکی گزاره‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007216> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007212>
  skos:prefLabel "russian constactivism"@en, "ساخت‌گرایی روسی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007216> .

<http://www.irandoc.acir/onto/irandoc/MAT0007217>
  skos:prefLabel "constructive mathematics"@en, "ریاضیات ساختی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007216> .

<http://www.irandoc.acir/onto/irandoc/MAT0007350>
  skos:prefLabel "ادات منطقی"@fa, "logical connectives"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007216> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007215>
  skos:prefLabel "predicate Kripke model"@en, "مدل کریپکی محمولی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007216> .

<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/MAT0007216> .

<http://www.irandoc.acir/onto/irandoc/MAT0007378>
  skos:prefLabel "logical method"@en, "روش منطقی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007216> .

<http://www.irandoc.acir/onto/irandoc/MAT0007216>
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "مدل کریپکی"@fa, "Kripke model"@en ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007212>, <http://www.irandoc.acir/onto/irandoc/MAT0007293>, <http://www.irandoc.acir/onto/irandoc/MAT0007321>, <http://www.irandoc.acir/onto/irandoc/MAT0007671>, <http://www.irandoc.acir/onto/irandoc/MAT0007378>, <http://www.irandoc.acir/onto/irandoc/MAT0007355>, <http://www.irandoc.acir/onto/irandoc/MAT0007350> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007215>, <http://www.irandoc.acir/onto/irandoc/MAT0007214> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007217> .

<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/MAT0007216> .