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

عبارت مسور
alternative label: عبارت سوردار
related: منطق محمولات
related: سور
broader: عبارت
preferred label: quantified statement @en
type: Concept

منطق محمولات
preferred label: predicate logic @en
type: Concept
related: عبارت مسور

عبارت
preferred label: statement @en
type: Concept
narrower: عبارت مسور