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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007254>
  skos:prefLabel "quantifier"@en, "سور"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007277>, <http://www.irandoc.acir/onto/irandoc/MAT0007250>, <http://www.irandoc.acir/onto/irandoc/MAT0007258>, <http://www.irandoc.acir/onto/irandoc/MAT0007339>, <http://www.irandoc.acir/onto/irandoc/MAT0007185> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007253>, <http://www.irandoc.acir/onto/irandoc/MAT0007252>, <http://www.irandoc.acir/onto/irandoc/MAT0007251> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007294> .

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

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

<http://www.irandoc.acir/onto/irandoc/MAT0007277>
  skos:prefLabel "فرمول"@fa, "formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007254> .

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

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

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

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

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