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

<http://www.irandoc.acir/onto/irandoc/NEMA000377>
  skos:prefLabel "حقیقت"@fa, "truth"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006810> .

<http://www.irandoc.acir/onto/irandoc/NEMA0006816>
  skos:prefLabel "فرضیه‌ها"@fa, "hypotheses"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006810> .

<http://www.irandoc.acir/onto/irandoc/NEMA0008319>
  skos:prefLabel "منطق ریاضی"@fa, "mathematical logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006810> .

<http://www.irandoc.acir/onto/irandoc/NEMA0006814>
  skos:prefLabel "اصول بدیهی"@fa, "axioms"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006810> .

<http://www.irandoc.acir/onto/irandoc/NEMA0001234>
  skos:prefLabel "علم"@fa, "science"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006810> .

<http://www.irandoc.acir/onto/irandoc/NEMA0008781>
  skos:prefLabel "proving"@en, "اثبات"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006810> .

<http://www.irandoc.acir/onto/irandoc/NEMA0008784>
  skos:prefLabel "demonstration"@en, "برهان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006810> .

<http://www.irandoc.acir/onto/irandoc/NEMA000817>
  skos:prefLabel "هندسه"@fa, "geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006810> .

<http://www.irandoc.acir/onto/irandoc/NEMA0006810>
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006816>, <http://www.irandoc.acir/onto/irandoc/NEMA000817>, <http://www.irandoc.acir/onto/irandoc/NEMA0001234>, <http://www.irandoc.acir/onto/irandoc/NEMA0008798>, <http://www.irandoc.acir/onto/irandoc/NEMA000377>, <http://www.irandoc.acir/onto/irandoc/NEMA0008784>, <http://www.irandoc.acir/onto/irandoc/NEMA0008319>, <http://www.irandoc.acir/onto/irandoc/NEMA0006814>, <http://www.irandoc.acir/onto/irandoc/NEMA0008781> ;
  skos:prefLabel "قضیه‌ها"@fa, "theorems"@en ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/NEMA0006818> .

<http://www.irandoc.acir/onto/irandoc/NEMA0008798>
  skos:prefLabel "استدلال"@fa, "reasoning"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006810> .

<http://www.irandoc.acir/onto/irandoc/NEMA0006818>
  skos:prefLabel "گفته‌ها"@fa, "statements"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/NEMA0006810> .