@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns0: <http://rdf-vocabulary.ddialliance.org/xkos#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro827> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .
<http://www.irandoc.acir/onto/irandoc/mathpro926> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .
<http://www.irandoc.acir/onto/irandoc/mathpro2395>
  skos:prefLabel "لم دکارتی"@fa, "cartan lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

<http://www.irandoc.acir/onto/irandoc/mathpro954>
  skos:prefLabel "قضیه نظریه هندسه"@fa, "theorem of theory of geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

<http://www.irandoc.acir/onto/irandoc/mathpro830>
  skos:prefLabel "قضیه گاوس-بونت"@fa, "gauss-bonnet theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro988>
  skos:prefLabel "قضیه نظریه توپولوژی"@fa, "theorem of theory of topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro826>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro988>, <http://www.irandoc.acir/onto/irandoc/mathpro834>, <http://www.irandoc.acir/onto/irandoc/mathpro954>, <http://www.irandoc.acir/onto/irandoc/math0007203>, <http://www.irandoc.acir/onto/irandoc/mathpro831>, <http://www.irandoc.acir/onto/irandoc/mathpro2472>, <http://www.irandoc.acir/onto/irandoc/mathpro2395>, <http://www.irandoc.acir/onto/irandoc/mathpro833>, <http://www.irandoc.acir/onto/irandoc/mathpro2415>, <http://www.irandoc.acir/onto/irandoc/mathpro2440>, <http://www.irandoc.acir/onto/irandoc/mathpro829>, <http://www.irandoc.acir/onto/irandoc/math0007204>, <http://www.irandoc.acir/onto/irandoc/mathpro830>, <http://www.irandoc.acir/onto/irandoc/mathpro832>, <http://www.irandoc.acir/onto/irandoc/mathpro2416> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007171>, <http://www.irandoc.acir/onto/irandoc/math0007200>, <http://www.irandoc.acir/onto/irandoc/math0007201>, <http://www.irandoc.acir/onto/irandoc/math0007315>, <http://www.irandoc.acir/onto/irandoc/math0007187> ;
  skos:scopeNote "گزاره ریاضی اثبات شده."@fa ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro826> ;
  ns0:comment <http://en.wikipedia.org/wiki/theorem> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "قضیه"@fa, "theorem"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2667>, <http://www.irandoc.acir/onto/irandoc/math0007207> .

<http://www.irandoc.acir/onto/irandoc/mathpro2440>
  skos:prefLabel "قضیه کاکوتانی"@fa, "kakutani theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro834>
  skos:prefLabel "قضیه دی رام"@fa, "de rham theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/math0007204>
  skos:prefLabel "نتیجه"@fa, "sequent"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro2416>
  skos:prefLabel "قضیه جکسِن"@fa, "قضیه جکسون"@fa, "jackson theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

<http://www.irandoc.acir/onto/irandoc/mathpro2568> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .
<http://www.irandoc.acir/onto/irandoc/mathpro833>
  skos:prefLabel "قضیه فروبنیوس"@fa, "frobenius theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

<http://www.irandoc.acir/onto/irandoc/mathpro2472>
  skos:prefLabel "قضیه کسینوس"@fa, "cosine theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

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

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

<http://www.irandoc.acir/onto/irandoc/mathpro829>
  skos:prefLabel "قضیه آدو"@fa, "ado theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

<http://www.irandoc.acir/onto/irandoc/mathpro2415>
  skos:prefLabel "قضیه ریس شادر"@fa, "riesz schauder theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

<http://www.irandoc.acir/onto/irandoc/mathpro832>
  skos:prefLabel "قضیه متریک‌سازی اوریسون"@fa, "urysohn metrization theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .

<http://www.irandoc.acir/onto/irandoc/mathpro956> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .
<http://www.irandoc.acir/onto/irandoc/mathpro831>
  skos:prefLabel "قضیه استوکس"@fa, "stokes theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826> .