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

<http://www.irandoc.acir/onto/irandoc/MAT0007172>
  skos:prefLabel "شرط"@fa, "condition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007201>
  skos:prefLabel "قانون"@fa, "law"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007206>
  skos:prefLabel "نامعادله"@fa, "inequality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007195>
  skos:prefLabel "logical object"@en, "شی منطقی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007162>
  skos:prefLabel "definition"@en, "تعریف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007207>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007201>, <http://www.irandoc.acir/onto/irandoc/MAT0007172>, <http://www.irandoc.acir/onto/irandoc/MAT0007157>, <http://www.irandoc.acir/onto/irandoc/MAT0007162>, <http://www.irandoc.acir/onto/irandoc/MAT0007205>, <http://www.irandoc.acir/onto/irandoc/MAT0007163>, <http://www.irandoc.acir/onto/irandoc/MAT0007206>, <http://www.irandoc.acir/onto/irandoc/MAT0007164>, <http://www.irandoc.acir/onto/irandoc/MAT0007195>, <http://www.irandoc.acir/onto/irandoc/MAT0007165>, <http://www.irandoc.acir/onto/irandoc/MAT0007196>, <http://www.irandoc.acir/onto/irandoc/MAT0007200> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007725> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "general terminology"@en, "اصطلاحات عمومی"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007350> .

<http://www.irandoc.acir/onto/irandoc/MAT0007165>
  skos:prefLabel "توسیع"@fa, "extension"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007196>
  skos:prefLabel "logical operations"@en, "عملیات منطقی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007200>
  skos:prefLabel "قاعده"@fa, "rule"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007205>
  skos:prefLabel "theorem"@en, "قضیه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007163>
  skos:prefLabel "تعمیم"@fa, "generalization"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007157>
  skos:prefLabel "تساوی"@fa, "equality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .

<http://www.irandoc.acir/onto/irandoc/MAT0007725>
  skos:prefLabel "منطق ریاضی"@fa, "mathematical logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007207> .