Institute of Information Theories and Applications FOI ITHEA
The aim of this article is to describe formally a metaontology for medical diagnostics of acute diseases
in the language of applied logic. The article includes an informal description of the metaontology, and the part of
its model which contains the definitions for basic terms of knowledge and situations and also their integrity
restrictions in the form of ontological agreements.