many-sorted language
preferred label: زبان چند-گونه‌ای @fa
type: Concept
broader: sort of language

one-sorted language
preferred label: زبان تک-گونه‌ای @fa
type: Concept
broader: sort of language

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

model
preferred label: مدل @fa
type: Concept
related: sort of language

Ehrenfeucht-Mostowski structure
preferred label: ساختار ارنفاست-موستوفسکی @fa
type: Concept
related: sort of language

sort of structure
preferred label: گونه ساختار @fa
type: Concept
related: sort of language

sort of language
narrower: one-sorted language
narrower: many-sorted language
broader: language
preferred label: گونه زبان @fa
related: sort of structure
related: Ehrenfeucht-Mostowski structure
related: elimination of hyperimaginaries
related: model
type: Concept

elimination of hyperimaginaries
preferred label: حذف فراموهومات @fa
type: Concept
related: sort of language