@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/b96ba7a9-cce1-470c-b80c-6dadb2c6b8e9>
  skos:prefLabel "Optimization problems"@en, "مسائل بهینه‌سازی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/c56eb365-c1a7-44a2-b81d-37845faabac2> .

<http://rdf-vocabulary.ddialliance.org/xkos#type> rdfs:label "type"@en, "نوع"@fa .
<http://www.irandoc.acir/onto/irandoc/c56eb365-c1a7-44a2-b81d-37845faabac2>
  ns0:type skos:Concept ;
  skos:altLabel "k-SAT"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/b96ba7a9-cce1-470c-b80c-6dadb2c6b8e9> ;
  skos:prefLabel "Boolean satisfiability problem"@en, "مسئله رضایت‌بخشی بولی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .