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

<http://www.irandoc.acir/onto/irandoc/mathpro964>
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro3265>, <http://www.irandoc.acir/onto/irandoc/mathpro1446> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008380>, <http://www.irandoc.acir/onto/irandoc/math0008061>, <http://www.irandoc.acir/onto/irandoc/math0003492> ;
  skos:scopeNote "اگر تابعی در دامنه ساده-همبند که شامل یک خم بسته است، بجز در تعدادی متناهی قطب در درون خم، تحلیلی باشد، انتگرال خمیده خطی آن تابع روی آن خم برابر است با مجموع مانده های آن قطب ها."@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro963>, <http://www.irandoc.acir/onto/irandoc/math0003598> ;
  skos:prefLabel "قضیه باقیمانده کوشی"@fa, "cauchy residue theorem"@en, "قضیه مانده کوشی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008061>
  skos:prefLabel "قضیه اعداد اول"@fa, "prime number theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3265>
  skos:prefLabel "تحلیل"@fa, "analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

ns0:is_defined_by rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/math0003492>
  skos:prefLabel "لم ژوردان"@fa, "jordan lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003598>
  skos:prefLabel "نظریه تابع هندسی"@fa, "geometric function theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro963>
  skos:prefLabel "قضیه کوشی"@fa, "cauchy theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro964> .

<http://www.irandoc.acir/onto/irandoc/math0008380>
  skos:prefLabel "قضیه انتگرال کوشی"@fa, "cauchy integral theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1446>
  skos:prefLabel "نظریه توابع یک متغیر مختلط"@fa, "theory of functions of a complex variable"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .