SNOMED CT Document Library
You cannot export this page, because it is not available in the current version, variant, or language.
A process that generates a set of logically consistent inferences by applying description logic rules to the stated view of concept definitions.