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

<http://www.irandoc.acir/onto/irandoc/mathpro2667>
  skos:prefLabel "شیء دانش ریاضی"@fa, "mathematical knowledge object"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1042> .

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

<http://www.irandoc.acir/onto/irandoc/math0007185>
  skos:prefLabel "عبارت مسور"@fa, "quantified statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1042> .

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

<http://www.irandoc.acir/onto/irandoc/math0007194>
  skos:prefLabel "نادرست"@fa, "false"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1043>
  skos:prefLabel "شرط"@fa, "وضعیت"@fa, "condition"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1042> .

<http://www.irandoc.acir/onto/irandoc/math0007175>
  skos:prefLabel "بدیهی"@fa, "trivial"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007265>
  skos:prefLabel "جمله"@fa, "sentence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math0007184>
  skos:prefLabel "عبارت شرطی"@fa, "conditional statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1042> .

<http://www.irandoc.acir/onto/irandoc/math0007173>
  skos:prefLabel "حکم باطل"@fa, "absurd statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1042>
  skos:prefLabel "statement"@en, "بیانیه"@fa, "عبارت"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007194>, <http://www.irandoc.acir/onto/irandoc/math0007191>, <http://www.irandoc.acir/onto/irandoc/math0007175>, <http://www.irandoc.acir/onto/irandoc/math0007373>, <http://www.irandoc.acir/onto/irandoc/math0007265>, <http://www.irandoc.acir/onto/irandoc/math0007165>, <http://www.irandoc.acir/onto/irandoc/math0007173>, <http://www.irandoc.acir/onto/irandoc/math0007179> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1043>, <http://www.irandoc.acir/onto/irandoc/math0007184>, <http://www.irandoc.acir/onto/irandoc/math0007187>, <http://www.irandoc.acir/onto/irandoc/math0007185> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007195>, <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

<http://www.irandoc.acir/onto/irandoc/math0007373>
  skos:prefLabel "تناقض"@fa, "contradiction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

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