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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro228> skos:broader <http://www.irandoc.acir/onto/irandoc/math0007207> .
<http://www.irandoc.acir/onto/irandoc/mathpro1043> skos:broader <http://www.irandoc.acir/onto/irandoc/math0007207> .
<http://www.irandoc.acir/onto/irandoc/mathpro2536> skos:broader <http://www.irandoc.acir/onto/irandoc/math0007207> .
<http://www.irandoc.acir/onto/irandoc/math0007164>
  skos:prefLabel "تنازع"@fa, "antinomy"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007207> .

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0007207>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007196>, <http://www.irandoc.acir/onto/irandoc/math0007165>, <http://www.irandoc.acir/onto/irandoc/math0007163>, <http://www.irandoc.acir/onto/irandoc/math0007157>, <http://www.irandoc.acir/onto/irandoc/math0007201>, <http://www.irandoc.acir/onto/irandoc/math0007164>, <http://www.irandoc.acir/onto/irandoc/math0007200>, <http://www.irandoc.acir/onto/irandoc/math0007195> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007350> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro890> ;
  skos:prefLabel "general terminology"@en, "اصطلاحات عمومی"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> .

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