Search



Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

ConceptStated View of Concept Definition

Concept
t710785000 |Laparoscopic repair of hernia|


Scg expression
=== 71388002 |Procedure| :
            { 363700003 |Direct morphology| = 414402003 |Hernial opening (morphologic abnormality)|, 
              425391005 |Using access device| = 86174004 |Laparoscope, device|, 
              260686004 |Method| = 257903006 |Repair - action| }



The definition shown in 

Caption reference
CapRefIdstated-view-primitive
CapRefTypeTable
 provides an example of another common case.

  • The === symbol indicates that the concept definition is equivalent to the concept. 
    • This means that each of the assertions in the definition necessarily true for all instance of the concept 
      Concept
      t710785000 |Laparoscopic repair of hernia|
      .
    • It also means that this definition is sufficient, because if all the assertions are true, this implies this is either the concept or a subtype of the concept.

A Definition that is Necessary but Not Sufficient

...

A Definition that is Sufficient with Assertions that are Not Necessarily True

Note

This example is illustrates a type of definition that was not supported prior to the enhancement to SNOMED CT support for advanced description logic. Therefore, the definition shown is for illustration only and will not be found in current releases of SNOMED.

...

  • The >>> symbol indicates that the concept definition represents a subtype of the concept definition
    • This means that each instance of the assertions in the definition is necessarily true for all instance sufficient to represent a subtype of the concept 
      Concept
      t173574009 |Acute benign pericarditis 8801005 |Secondary diabetes mellitus (disorder)|
      .However, this
    • The definition is does not sufficient, because it is represent a more general meaning. Put another way, it does not capture one or more distinguishing features or the  necessary condition, i.e. the definition is not necessarily true for all instances of the concept 
      Concept
      t173574009 |Acute benign pericarditis 8801005 |Secondary diabetes mellitus (disorder)|
      . This means that even if all the assertions are true, it may or may not be this concept or one of its subtypes. Or, said in other words, not all cases of 
      Concept
      t8801005 |Secondary diabetes mellitus (disorder)|
       are caused by a medicinal product or a disease. 


Caption label
CapIdstated-view-secondary-primitivedm
CapTypeTable
Possible stated view of the definition of |Secondary diabetes mellitus|

...

ConceptStated View of Concept Definition

Concept
t8801005 |Secondary diabetes mellitus (disorder)|


Scg expression
>>>73211009 |Diabetes mellitus|:
        246075003 |Causative agent| = 105590001763158003 |SubstanceMedicinal product|
OR
>>>73211009 |Diabetes mellitus|: 
        42752001 |Due to| = 64572001 |Disease|



...