@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/mathpro558>
  skos:prefLabel "فرم حجمی"@fa, "volume form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro458> .

<http://www.irandoc.acir/onto/irandoc/mathpro1945>
  skos:prefLabel "فرم بیرونی بسته نرم افزاری"@fa, "bundle exterior form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3228>
  skos:prefLabel "هندسه دیفرانسیل"@fa, "differential geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro458>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0010092>, <http://www.irandoc.acir/onto/irandoc/math0009945>, <http://www.irandoc.acir/onto/irandoc/math0009549>, <http://www.irandoc.acir/onto/irandoc/math0009548>, <http://www.irandoc.acir/onto/irandoc/math0003909>, <http://www.irandoc.acir/onto/irandoc/math0009996>, <http://www.irandoc.acir/onto/irandoc/math0004666> ;
  skos:prefLabel "صورت دیفرانسیل"@fa, "فرم دیفرانسیلی"@fa, "differential form"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3228>, <http://www.irandoc.acir/onto/irandoc/mathpro447>, <http://www.irandoc.acir/onto/irandoc/mathpro1945> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro535>, <http://www.irandoc.acir/onto/irandoc/mathpro558>, <http://www.irandoc.acir/onto/irandoc/mathpro513>, <http://www.irandoc.acir/onto/irandoc/mathpro469>, <http://www.irandoc.acir/onto/irandoc/mathpro546>, <http://www.irandoc.acir/onto/irandoc/mathpro569>, <http://www.irandoc.acir/onto/irandoc/mathpro491>, <http://www.irandoc.acir/onto/irandoc/mathpro524> ;
  skos:altLabel "", "فرم دیفرانسیل"@fa ;
  ns0:comment <http://en.wikipedia.org/wiki/differential_form> ;
  skos:scopeNote "یک چند جمله ای همگن برحسب دیفرانسیل ها."@fa .

<http://www.irandoc.acir/onto/irandoc/mathpro480> skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro458> .
<http://www.irandoc.acir/onto/irandoc/mathpro513>
  skos:prefLabel "فرم دیفرانسیل القایی"@fa, "induced differential form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro458> .

<http://www.irandoc.acir/onto/irandoc/math0009549>
  skos:prefLabel "هندسه انتگرالی"@fa, "integral geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0010092>
  skos:prefLabel "2-صورت دیفرانسیل"@fa, "differential 2-form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro458> .

<http://www.irandoc.acir/onto/irandoc/math0009945>
  skos:prefLabel "مشتق هم‌وردای برونی"@fa, "exterior covariant derivative"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009548>
  skos:prefLabel "قضیه هاتویگر"@fa, "hadwiger theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro458> .

<http://www.irandoc.acir/onto/irandoc/mathpro447>
  skos:prefLabel "کمپلکس دیفرانسیلی"@fa, "differential complex"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro546>
  skos:prefLabel "صورت همتافته"@fa, "فرم سیمپلکتیک"@fa, "symplectic form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro458> .

ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/math0009996>
  skos:prefLabel "قضیه انتگرال استوکس"@fa, "stokes integral theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro393> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro458> .
<http://www.irandoc.acir/onto/irandoc/mathpro535>
  skos:prefLabel "فرم دیفرانسیل فرد"@fa, "odd differential form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro458> .

<http://www.irandoc.acir/onto/irandoc/mathpro569>
  skos:prefLabel "فرم دیفرانسیل زوج"@fa, "even differential form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro458> .

<http://www.irandoc.acir/onto/irandoc/mathpro488>
  ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro458> ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro458> .

<http://www.irandoc.acir/onto/irandoc/mathpro469>
  skos:prefLabel "فرم دیفرانسیل هولومورفیک"@fa, "holomorphic differential form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro458> .

<http://www.irandoc.acir/onto/irandoc/mathpro491>
  skos:prefLabel "فرم بسته"@fa, "closed form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro458> .

<http://www.irandoc.acir/onto/irandoc/mathpro831> ns0:defines <http://www.irandoc.acir/onto/irandoc/mathpro458> .
<http://www.irandoc.acir/onto/irandoc/mathpro524>
  skos:prefLabel "فرم انتگرال‌پذیر محلی"@fa, "locally integrable form"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro458> .

<http://www.irandoc.acir/onto/irandoc/math0004666>
  skos:prefLabel "جبر برونی"@fa, "exterior algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003909>
  skos:prefLabel "جمع گوه‌ای"@fa, "wedge sum"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

