По параметру соотношения словаря метаязыка и словаря языка — объекта можно выделить четыре типа СМ: 1} вырожденный случай СМ, словарь которого совпадает со словарем языка-объекта (примером такого СМ может служить метаязык толкований (дефиниций) в традиционных толковых словарях, формулируемых на том же языке, значения слов которого описываются, без наложения каких-либо ограничений на словарный состав толкований; 2) СМ, словарь которого пересекается со словарем языка-объекта (например, семантический язык модели «Смысл <=> Текст»); 3) СМ, словарь которого представляет собой подмножество множества слов языка — объекта (например, ЕСМ А. Веж-бицкой); 4) СМ, словарь которого не пересекается со словарем языка — объекта (чистых примеров этого типа не существует, но в принципе, они возможны). Аналогичным образом могут различаться СМ по тому, как их синтаксис соотносится с синтаксисом языка-объекта.
     Различаются СМ и по степени полноты отражения значения языкового выражения средствами СМ. Применительно к описанию значений слов при одном подходе постулируется возможность полного (без остатка) разложения (декомпозиции) значения на единицы СМ, а при другом подходе допускается неполная декомпозиция, и семантика слова описывается с помощью постулатов значения [Карнап 1959], задающих необходимые условия для употребления данного слова. Так, семантическое описание слова холостяк с помощью постулатов значения имеет следующий вид:
(4) холостяк (х) ЧЕЛОВЕК (х) & МУЖСКОГО ПОЛА (х)