A cognitive model is a computational model of internal information processing mechanisms of the brain for the purposes of comprehension and prediction. CARINA metacognitive architecture runs cognitive models. However, CARINA does not currently have mechanisms to store and learn from cognitive models executed in the past. Semantic knowledge representation is a field of study which concentrates on using formal symbols to a collection of propositions, objects, object properties, and relations among objects. In CARINA Beliefs are a form of represent the semantic knowledge. The aim of this chapter is to formally describe a CARINA-based cognitive model through of denotational mathematics and to represent these models using a technique of semantic knowledge representation called beliefs. All the knowledge received by CARINA is stored in the semantic memory in the form of beliefs. Thus, a cognitive model represented through beliefs will be ready to be stored in semantic memory of the metacognitive architecture CARINA. Finally, an illustrative example is presented.