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

<http://www.irandoc.acir/onto/irandoc/MAT0007315>
  skos:prefLabel "tautological implication"@en, "نتیجه توتولوژیک"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007205> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007204>
  skos:prefLabel "sequent"@en, "نتیجه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007205> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007171>
  skos:prefLabel "گزاره دو شرطی"@fa, "biconditional statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007205> .

<http://www.irandoc.acir/onto/irandoc/MAT0007202>
  skos:prefLabel "conjecture"@en, "حدس"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007205> .

<http://www.irandoc.acir/onto/irandoc/MAT0007207>
  skos:prefLabel "اصطلاحات عمومی"@fa, "general terminology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007205> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007205>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007315>, <http://www.irandoc.acir/onto/irandoc/MAT0007162>, <http://www.irandoc.acir/onto/irandoc/MAT0007200>, <http://www.irandoc.acir/onto/irandoc/MAT0007187>, <http://www.irandoc.acir/onto/irandoc/MAT0007171>, <http://www.irandoc.acir/onto/irandoc/MAT0007201> ;
  skos:scopeNote "گزاره ریاضی اثبات شده."@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "قضیه"@fa, "theorem"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007204>, <http://www.irandoc.acir/onto/irandoc/MAT0007203>, <http://www.irandoc.acir/onto/irandoc/MAT0007202> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007207> .