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

<http://www.irandoc.acir/onto/irandoc/1643>
  skos:prefLabel "گزارهای"@fa, "propositional"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/1672> .

<http://www.irandoc.acir/onto/irandoc/1578>
  skos:prefLabel "specific"@en, "خاص"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/1672> .

<http://www.irandoc.acir/onto/irandoc/1672>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/1578>, <http://www.irandoc.acir/onto/irandoc/1643>, <http://www.irandoc.acir/onto/irandoc/1622>, <http://www.irandoc.acir/onto/irandoc/1666>, <http://www.irandoc.acir/onto/irandoc/1560>, <http://www.irandoc.acir/onto/irandoc/1677> ;
  skos:prefLabel "منطق گزارهای"@fa, "predicate calculus"@en ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/1664> .

<http://www.irandoc.acir/onto/irandoc/1677>
  skos:prefLabel "نامعین"@fa, "indefinite"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/1672> .

<http://www.irandoc.acir/onto/irandoc/1560>
  skos:prefLabel "تعریف کننده"@fa, "modifier"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/1672> .

<http://www.irandoc.acir/onto/irandoc/1666>
  skos:prefLabel "definite"@en, "معین"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/1672> .

<http://www.irandoc.acir/onto/irandoc/1622>
  skos:prefLabel "proposition"@en, "قضیه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/1672> .

<http://www.irandoc.acir/onto/irandoc/1664>
  skos:prefLabel "معنیشناسی صوری"@fa, "formal semantics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/1672> .