Knowledge representation is a key task of both computing science and programming practice. Suffice it to say that any program is a knowledge representation of a certain problem solution. However till now there are no means for the representation of application problems’ decision methods, for the representation of the environments making these problems, and for the representation of the communications between different knowledge environments. Today’s evolution of IT requires such knowledge representation tools. This paper proposes a knowledge representation language that allows a system of knowledge to be represented in a comfortable way for wide range of users and for automatic and semi-automatic problem solving in a suitable form.