@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/mathpro416>
  skos:prefLabel "دستکاری عرضی"@fa, "transversally manipulation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro408> .

<http://www.irandoc.acir/onto/irandoc/mathpro380>
  skos:prefLabel "نگاشت"@fa, "نقشه"@fa, "map"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro408> .

<http://www.irandoc.acir/onto/irandoc/mathpro411>
  skos:prefLabel "مدار"@fa, "orbit"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro408> .

<http://www.irandoc.acir/onto/irandoc/mathpro45> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro408> .
<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 .

ns0:comment rdfs:label "توضیحات"@fa, "comment"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro414>
  skos:prefLabel "زیرگروه پایدار"@fa, "stable subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro408> .

<http://www.irandoc.acir/onto/irandoc/mathpro408>
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro3228> ;
  skos:prefLabel "اقدام گروهی"@fa, "group action"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro415>, <http://www.irandoc.acir/onto/irandoc/mathpro409>, <http://www.irandoc.acir/onto/irandoc/mathpro417>, <http://www.irandoc.acir/onto/irandoc/mathpro414>, <http://www.irandoc.acir/onto/irandoc/mathpro416>, <http://www.irandoc.acir/onto/irandoc/mathpro412>, <http://www.irandoc.acir/onto/irandoc/mathpro411>, <http://www.irandoc.acir/onto/irandoc/mathpro410> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro380> ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro408> ;
  ns0:comment <http://en.wikipedia.org/wiki/group_action> .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
ns0:is_defined_by rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro412>
  skos:prefLabel "اقدام گروهی مناسب"@fa, "proper group action"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro408> .

<http://www.irandoc.acir/onto/irandoc/mathpro417>
  skos:prefLabel "اقدام مؤثر گروهی"@fa, "effective action of group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro408> .

<http://www.irandoc.acir/onto/irandoc/mathpro410>
  skos:prefLabel "عمل دوگان‌فشرده"@fa, "اکشن گروهی فشرده"@fa, "cocompact group action"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro408> .

<http://www.irandoc.acir/onto/irandoc/mathpro415>
  skos:prefLabel "عمل متعدی"@fa, "transitive action"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro408> .

<http://www.irandoc.acir/onto/irandoc/mathpro409>
  skos:prefLabel "دستکاری بی‌نهایت کوچک"@fa, "infinitesimal manipulation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro408> .