Anotation:
A mathematical model consisting of a set of predicates and a given ontology is introduced, allowing a rigorous definition of the concepts of theoretical and empirical knowledge. Further, the classical information divergence is used to define the amount of information in empirical and theoretical knowledge. The information in theoretical knowledge is an extension of the well known "semantic information" formerly introduced by Carnap and Bar Hillel.