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

<http://www.irandoc.acir/onto/irandoc/MAT0007302>
  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/MAT0007339> .

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007332>
  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/MAT0007339> .