Difference between revisions of "Fully Defined Concept"

{{Definition|A concept that is entailed by the set of its relationships to other concepts.}}

{{Definition|A concept that is entailed by the set of its relationships to other concepts.}}

{{Reference Definition|A concept is sufficiently defined if its logic definition is sufficient to computably recognize (automatically subsume) all its subtypes. The logic definition must also differentiate the concept from its immediate supertype(s). A concept which is not sufficiently defined is primitive. For example, if the concept “Red car” is defined as [is a=car] and [color=red] it is sufficiently defined but the same definition applied to the Concept “Red sports car” is primitive.|SNOMED CT User Guide}}

{{Reference Definition|A concept is sufficiently defined if its logic definition is sufficient to computably recognize (automatically subsume) all its subtypes. The logic definition must also differentiate the concept from its immediate supertype(s). A concept which is not sufficiently defined is primitive. For example, if the concept “Red car” is defined as [is a=car] and [color=red] it is sufficiently defined but the same definition applied to the Concept “Red sports car” is primitive.|SNOMED CT User Guide}}

{{Glossary_Entry}}

{{Glossary_Entry}}

{{Instance}}

{{Instance}}