Summary: A relation between a visual-phenomenological, logical, and procedural interpretation of knowledge in the computer-aided knowledge engineering (CAKE) technology of knowledge extraction is considered. The conversion of two-dimensional syntactical constructs of conceptional and functional structures of a subject domain to some monadic theory of first-order logic is shown. A sketch of a (procedural) inference engine corresponding to models of subject domains formalized by the author is also described.