standard semantic
broader: semantic of second order logic
preferred label: معنا شناسی استاندارد @fa
type: Concept

semantic of second order logic
preferred label: معنا شناسی منطق مرتبه دوم @fa
type: Concept
narrower: standard semantic