...
Gastric ulcer is defined as follows:
| Scg expression |
|---|
397825006|gastric ulcer|
=== 116680003 |is a| = 64572001 |disease|
{ 116676008 |associated morphology| = 56208002 |ulcer| ,
363698007 |finding site| =69695003 |stomach structure| } |
This is a sufficient definition because any
| Concept |
|---|
| t | 56208002|ulcer| |
|---|
| ShowFormat | inline |
|---|
|
in a
| Concept |
|---|
| t | 69695003|stomach structure| |
|---|
| ShowFormat | inline |
|---|
|
is by definition a
| Concept |
|---|
| t | 397825006|gastric ulcer|. |
|---|
| ShowFormat | inline |
|---|
|
Based on this definition:
...
However, a query for all disorders involving
| Concept |
|---|
| t | 78653002|gastric mucosa| |
|---|
| ShowFormat | inline |
|---|
|
would incorrectly exclude
| Concept |
|---|
| t | 397825006|gastric ulcer| |
|---|
| ShowFormat | inline |
|---|
|
as the site is specified as
| Concept |
|---|
| t | 78653002|gastric mucosa| |
|---|
| ShowFormat | inline |
|---|
|
which is more specific than
| Concept |
|---|
| t | 69695003|stomach structure|. |
|---|
| ShowFormat | inline |
|---|
|
In reality there is another sufficient set defining relationships
| Scg expression |
|---|
397825006|gastric ulcer|
=== 116680003 |is a| = 64572001 |disease|
{ 116676008 |associated morphology| = 56208002 |ulcer| ,
363698007 |finding site| = 78653002|gastric mucosa| } |
but this is not currently represented in SNOMED CT. The reason for this is that the currently the profile of description logic used by SNOMED CT does not support representation of multiple sufficient sets.
...