Knowledge representation in SNOMED CT involves modeling what we know about concepts to be necessarily true. Concepts are logically defined by their relationships to each other. Some knowledge provides valuable clues to the diagnostician, while not necessarily always present, i.e. it is uncertain or probabilistic knowledge. Attempts to capture probabilistic or uncertain knowledge are out of the scope of SNOMED CT.

For example, 

Its terminological knowledge includes the following:

These additional pieces of knowledge are variably present and therefore represent uncertain or probabilistic knowledge about myocardial infarction:

For example,

Its terminological knowledge includes the following:

These additional pieces of knowledge are variably present and therefore represent uncertain or probabilistic knowledge about appendicitis: