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

<http://www.irandoc.acir/onto/irandoc/INSP0014069>
  skos:prefLabel "منطق صوری"@fa, "formal logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0014067> .

<http://www.irandoc.acir/onto/irandoc/INSP0014067>
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485>, <http://www.irandoc.acir/onto/irandoc/INSP0013873>, <http://www.irandoc.acir/onto/irandoc/INSP0012857>, <http://www.irandoc.acir/onto/irandoc/INSP0012919> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0014069> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "temporal logic"@en, "منطق زمانی"@fa ;
  skos:altLabel "event calculus"@en ;
  skos:scopeNote "event calculus"@en .

<http://www.irandoc.acir/onto/irandoc/INSP0003485>
  skos:prefLabel "برنامه‌نویسی منطقی"@fa, "logic programming"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0014067> .

<http://www.irandoc.acir/onto/irandoc/INSP0013873>
  skos:prefLabel "دادگان زمانی"@fa, "temporal database"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0014067> .

<http://www.irandoc.acir/onto/irandoc/INSP0012857>
  skos:prefLabel "نظریه دادگان‌ها"@fa, "database theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0014067> .

<http://www.irandoc.acir/onto/irandoc/INSP0012919>
  skos:prefLabel "استدلال زمانی"@fa, "temporal reasoning"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0014067> .