semantic of first order logic
preferred label: معنا شناسی منطق مرتبه اول @fa
type: Concept
related: one-sorted language

one-sorted language
related: classification of first order strucuters
related: semantic of first order logic
related: first order language
related: expansion of structure
related: semantic of second order logic
related: model
preferred label: زبان تک-گونه‌ای @fa
type: Concept
broader: sort of language

semantic of second order logic
preferred label: معنا شناسی منطق مرتبه دوم @fa
type: Concept
related: one-sorted language

expansion of structure
preferred label: بسط ساختار @fa
type: Concept
related: one-sorted language

model
preferred label: مدل @fa
type: Concept
related: one-sorted language

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

classification of first order strucuters
preferred label: رده‌بندی ساختارهای مرتبه‌اول @fa
type: Concept
related: one-sorted language

sort of language
preferred label: گونه زبان @fa
type: Concept
narrower: one-sorted language