Formalizacja danego zbioru przekonań wyrażonych w pewnym języku polega na przekładzie ich na zdania innego języka. Dobra formalizacja charakteryzuje się tym, że język przekładu jest dobrany właściwie, a przełożone zdania oddają wiernie sens zdań oryginalnych. Na przykładzie ontologii sytuacji pokazuję, jak doskonale rozwiązywał problem formalizacji Profesor Bogusław Wolniewicz.