@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/NEMA0006814> .

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

<http://www.irandoc.acir/onto/irandoc/NEMA0006814>
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006816>, <http://www.irandoc.acir/onto/irandoc/NEMA0006810>, <http://www.irandoc.acir/onto/irandoc/NEMA0008774>, <http://www.irandoc.acir/onto/irandoc/NEMA0008781>, <http://www.irandoc.acir/onto/irandoc/NEMA0008798>, <http://www.irandoc.acir/onto/irandoc/NEMA0001233>, <http://www.irandoc.acir/onto/irandoc/NEMA0008796>, <http://www.irandoc.acir/onto/irandoc/NEMA0006815>, <http://www.irandoc.acir/onto/irandoc/NEMA0001234>, <http://www.irandoc.acir/onto/irandoc/NEMA000377> ;
  skos:prefLabel "axioms"@en, "اصول بدیهی"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/NEMA0008297>, <http://www.irandoc.acir/onto/irandoc/NEMA0006817> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> .

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

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

<http://www.irandoc.acir/onto/irandoc/NEMA0008297>
  skos:prefLabel "مبانی ریاضیات"@fa, "foundations of mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/NEMA0006814> .

<http://www.irandoc.acir/onto/irandoc/NEMA0006817>
  skos:prefLabel "مفروضات"@fa, "premises (statements)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/NEMA0006814> .

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

<http://www.irandoc.acir/onto/irandoc/NEMA0006815>
  skos:prefLabel "اصول موضوعه"@fa, "postulates"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006814> .

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

<http://www.irandoc.acir/onto/irandoc/NEMA0001233>
  skos:prefLabel "نظریه‌های علمی"@fa, "scientific theories"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006814> .

<http://www.irandoc.acir/onto/irandoc/NEMA0008796>
  skos:prefLabel "قیاس"@fa, "deduction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006814> .

<http://www.irandoc.acir/onto/irandoc/NEMA0008774>
  skos:prefLabel "احتجاج"@fa, "argumentation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/NEMA0006814> .