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

<http://www.irandoc.acir/onto/irandoc/math0007340>
  skos:prefLabel "منطق نمادی"@fa, "symbolic logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007339> .

<http://www.irandoc.acir/onto/irandoc/math0007339>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007185>, <http://www.irandoc.acir/onto/irandoc/math0007215>, <http://www.irandoc.acir/onto/irandoc/math0007302>, <http://www.irandoc.acir/onto/irandoc/math0007332>, <http://www.irandoc.acir/onto/irandoc/math0007254> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007340> ;
  skos:scopeNote "زبانی ا‌ست همه‌جاگیر در علوم نمادی که توسط دانشمندان مختلف در علوم ریاضی، فلسفه، زبان‌شناسی، علوم رایانه، و به طور اخصّ در هوش مصنوعی و نمایش دانش، مورد استفاده قرار می‌گیرد."@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "منطق محمولات"@fa, "predicate logic"@en .

<http://www.irandoc.acir/onto/irandoc/math0007185>
  skos:prefLabel "عبارت مسور"@fa, "quantified statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007339> .

<http://www.irandoc.acir/onto/irandoc/math0007332>
  skos:prefLabel "منطق محمولی شهودی"@fa, "intuitionistic predicate logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007339> .

<http://www.irandoc.acir/onto/irandoc/math0007302>
  skos:prefLabel "منطق محمولی کلاسیک"@fa, "classical predicate logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007339> .

<http://www.irandoc.acir/onto/irandoc/math0007254>
  skos:prefLabel "سور"@fa, "quantifier"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007339> .

<http://www.irandoc.acir/onto/irandoc/math0007215>
  skos:prefLabel "مدل کریپکی محمولی"@fa, "predicate kripke model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007339> .