@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/INSP0011075>
  skos:prefLabel "مهندسی نرم‌افزار"@fa, "software engineering"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0011048> .

<http://www.irandoc.acir/onto/irandoc/INSP0011047>
  skos:prefLabel "مشخصات جبری"@fa, "algebraic specification"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0011048> .

<http://www.irandoc.acir/onto/irandoc/INSP0011051>
  skos:prefLabel "تصدیق رسمی"@fa, "formal verification"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0011048> .

<http://www.irandoc.acir/onto/irandoc/INSP0009072>
  skos:prefLabel "زبان خصوصیات"@fa, "specification language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0011048> .

<http://www.irandoc.acir/onto/irandoc/INSP0011048>
  skos:altLabel "requirements engineering"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0011047> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0011051>, <http://www.irandoc.acir/onto/irandoc/INSP0009072> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0011075> ;
  skos:prefLabel "مشخصات قراردادی"@fa, "formal specification"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .