The main aim of this paper is to introduce Transparent Intensional Logic as the rigorous tool for a language specification and the knowledge representation.
