quantifier
preferred label: سور @fa
type: Concept
narrower: bounded quantifier

arithmetic (logic)
preferred label: حساب (منطق) @fa
type: Concept
related: bounded quantifier

bounded quantifier
related: arithmetic (logic)
broader: quantifier
preferred label: سور کراندار @fa
type: Concept