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

<http://www.irandoc.acir/onto/irandoc/math0001153>
  skos:prefLabel "فضای برداری توپولوژیک"@fa, "topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/mathpro559>
  skos:prefLabel "مجموعه قطع اتصال عملکردی"@fa, "disconnecting set functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro547> .

<http://www.irandoc.acir/onto/irandoc/mathpro548>
  skos:prefLabel "عملکردی افزایشی"@fa, "additive functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro547> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro563>
  skos:prefLabel "فضای تابعی توابع پیوسته"@fa, "functional space of continuous functions"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro547> .

<http://rdf-vocabulary.ddialliance.org/xkos#label> rdfs:label "برچسب"@fa, "label"@en .
<http://rdf-vocabulary.ddialliance.org/xkos#is_defined_by> rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/mathpro1886> ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro547> .
<http://www.irandoc.acir/onto/irandoc/mathpro550>
  skos:prefLabel "تابعی مشتق‌پذیر"@fa, "differentiable functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro547> .

<http://www.irandoc.acir/onto/irandoc/mathpro555>
  skos:prefLabel "عملکردی همگن"@fa, "homogeneous functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro547> .

<http://www.irandoc.acir/onto/irandoc/mathpro549>
  skos:prefLabel "تابعی محدب"@fa, "convex functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro547> .

<http://www.irandoc.acir/onto/irandoc/math000945>
  skos:prefLabel "تابعک تحلیلی"@fa, "analytic functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro553>
  skos:prefLabel "عملکرد مداوم"@fa, "continuous functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro547> .

<http://www.irandoc.acir/onto/irandoc/mathpro547>
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001153>, <http://www.irandoc.acir/onto/irandoc/mathpro380> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro548>, <http://www.irandoc.acir/onto/irandoc/mathpro563>, <http://www.irandoc.acir/onto/irandoc/mathpro551>, <http://www.irandoc.acir/onto/irandoc/mathpro553>, <http://www.irandoc.acir/onto/irandoc/mathpro555>, <http://www.irandoc.acir/onto/irandoc/0>, <http://www.irandoc.acir/onto/irandoc/mathpro562>, <http://www.irandoc.acir/onto/irandoc/mathpro550>, <http://www.irandoc.acir/onto/irandoc/mathpro559>, <http://www.irandoc.acir/onto/irandoc/mathpro549> ;
  skos:prefLabel "عملکردی"@fa, "functional"@en, "تابعک"@fa ;
  skos:scopeNote "هر تابعی از یک فضای برداری به میدان اسکالر آن."@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math000945> ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro3265> ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro547> .

<http://www.irandoc.acir/onto/irandoc/mathpro562>
  skos:prefLabel "تابعی مینکوفسکی"@fa, "minkowsky functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro547> .

<http://www.irandoc.acir/onto/irandoc/mathpro551>
  skos:prefLabel "تابعک خطی"@fa, "تابعی خطی"@fa, "linear functional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro547> .