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

<http://www.irandoc.acir/onto/irandoc/mathpro826> skos:related <http://www.irandoc.acir/onto/irandoc/math0007187> .
<http://www.irandoc.acir/onto/irandoc/math0007191>
  skos:prefLabel "قیاس"@fa, "syllogism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007187> .

<http://www.irandoc.acir/onto/irandoc/math0007328>
  skos:prefLabel "منطق چندمقدار"@fa, "many-valued logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007187> .

<http://www.irandoc.acir/onto/irandoc/math0007179>
  skos:prefLabel "تصدیق"@fa, "assertion"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007187> .

<http://www.irandoc.acir/onto/irandoc/math0007203>
  skos:prefLabel "لم"@fa, "lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007187> .

<http://www.irandoc.acir/onto/irandoc/math0007186>
  skos:prefLabel "گزاره راستگو"@fa, "tautology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007187> .

<http://www.irandoc.acir/onto/irandoc/mathpro1042>
  skos:prefLabel "عبارت"@fa, "بیانیه"@fa, "statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007187> .

<http://www.irandoc.acir/onto/irandoc/math0007299>
  skos:prefLabel "consistency"@en, "سازگاری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007187> .

<http://www.irandoc.acir/onto/irandoc/math0007187>
  skos:prefLabel "گزاره"@fa, "proposition"@en ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007299>, <http://www.irandoc.acir/onto/irandoc/math0007179>, <http://www.irandoc.acir/onto/irandoc/math0007203>, <http://www.irandoc.acir/onto/irandoc/math0007191>, <http://www.irandoc.acir/onto/irandoc/math0007328>, <http://www.irandoc.acir/onto/irandoc/math0007165> ;
  skos:altLabel "", "حکم"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1042> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007186> .

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