Четыре типа переменных

[r_r_f_r]

Да, так, но вами перечисленные "законы" необходимы, но недостаточны.

Локальная - создаётся в функции, и существует только во время её выполнения.
Экземпляра - создаётся вместе с созданием экземпляра, и существует вместе с ним и относится к экземпляру.
Динамическая - создаётся в любой момент времени каким-то другим экземпляром в нашем экземпляре.
Статическая - одна для всех экземпляров данного класса, создаётся либо при обращении к ней через Класс.ПЕРЕМЕННАЯ, либо же при инициализации экземпляра этого класса(что быстрей, то и проинициализирует).

Нужно смотреть на примерах, на словах это сложно понять.