This part of the guide provides an overview of the  This is the model used to specify logical definitions of  It is based on a combination of formal logic and a set of editorial rules that determined the permitted sets of   and values that may applied to particular types of  This guide includes an overview of the following topics:

More detail on this topic is provided in the following SNOMED CT guides: