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

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

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

<http://www.irandoc.acir/onto/irandoc/math0007253>
  skos:prefLabel "سور وجودی"@fa, "existential quantifier"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007254> .

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

<http://www.irandoc.acir/onto/irandoc/math0007251>
  skos:prefLabel "سور عمومی"@fa, "universal quantifier"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007254> .

<http://www.irandoc.acir/onto/irandoc/mathpro1099> skos:related <http://www.irandoc.acir/onto/irandoc/math0007254> .
<http://www.irandoc.acir/onto/irandoc/math0007254>
  skos:prefLabel "سور"@fa, "quantifier"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007251>, <http://www.irandoc.acir/onto/irandoc/math0007252>, <http://www.irandoc.acir/onto/irandoc/math0007253> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007185>, <http://www.irandoc.acir/onto/irandoc/math0007258>, <http://www.irandoc.acir/onto/irandoc/math0007339>, <http://www.irandoc.acir/onto/irandoc/math0007250> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007252>
  skos:prefLabel "سور کراندار"@fa, "bounded quantifier"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007254> .

<http://www.irandoc.acir/onto/irandoc/math0007294>
  skos:prefLabel "language"@en, "زبان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007254> .

<http://www.irandoc.acir/onto/irandoc/math0007250>
  skos:prefLabel "زبان مرتبه اول"@fa, "first order language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007254> .