Анотация: Показано, що модель внутрішньої мови системи необхідно будувати на базі теорії категорій і багатозначного числення присутності, що надає широкі можливості для опису зв'язків по присутності між об'єктами, їх властивостями і атрибутами в наочній області і що враховують невизначеність і суперечність знань.