universal quantifier
preferred label: سور عمومی @fa
type: Concept
broader: quantifier

quantifier
type: Concept
preferred label: سور @fa
related: formula
related: first order language
related: quantifier depth
related: predicate logic
related: quantified statement
narrower: existential quantifier
narrower: bounded quantifier
narrower: universal quantifier
broader: language

formula
preferred label: فرمول @fa
type: Concept
related: quantifier

first order language
preferred label: زبان مرتبه اول @fa
type: Concept
related: quantifier

quantifier depth
preferred label: عمق سور @fa
type: Concept
related: quantifier

predicate logic
preferred label: منطق محمولات @fa
type: Concept
related: quantifier

quantified statement
preferred label: عبارت مسور @fa
type: Concept
related: quantifier

existential quantifier
preferred label: سور وجودی @fa
type: Concept
broader: quantifier

bounded quantifier
preferred label: سور کراندار @fa
type: Concept
broader: quantifier

language
preferred label: زبان @fa
type: Concept
narrower: quantifier