Description: It is rotined that the model of internal language of the system must be built on the base of theory of categories and multiple-valued calculation of presence, enabling wide description of connections on the presence between objects, their properties and attributes in a subject domain and taking into account a vagueness and contradiction of knowledge’s.