A

1. Sufficiently Defined

   Glossary include
   Gloss sufficiently defined concept Suffix is defined as Def inline Example true Note true Prefix A

   •  The value of  If a concept has a sufficient definition is that it allows a postcoordinated , it is possible to infer whether another concept or a 

     Gloss
     Space true t postcoordinated expression

     that is sufficient to define a  is a 

     Gloss
     Space true t concept

     to be recognized as equivalent to (or a

     subtype

      of, or equivalent to, that

     Gloss
     subtype Space true t

     of) a defined

     Gloss
     t concept.

     
     
     

2. Primitive

   Glossary include
   Gloss primitive concept Suffix is

   defined as

   Def inline Example true Note true Prefix A

Necessary Conditions

All SNOMED CT defining relationships currently released are necessarily (always) true for the concept defined. Relationships that are necessarily true are also know as necessary conditions.

...

but this is not currently represented in SNOMED CT. The reason for this is that that currently the currently the profile of description logic used by SNOMED CT does not support representation of multiple sufficient sets. 

When multiple sufficient sets are supported, satisfying a single sufficient set enables an inference to be made that all necessary conditions must also be true. For example 

• The definition

  Concept
  t 363698007|finding site|

  =

  Concept
  t 78653002|gastric mucosa| ShowFormat inline

  is a necessary condition for

  Concept
  t 397825006|gastric ulcer|

  :

  • This is true because all gastric ulcers necessarily involve the

    Concept
    t 78653002|gastric mucosa|

• The definition

  Concept
  t 116676008|morphology|

  =

  Concept
  t 56208002|ulcer| ShowFormat inline

  and

  Concept
  t 363698007|finding site|

  =

  Concept
  t 69695003|stomach structure| ShowFormat inline

  is a sufficient definition for

  Concept
  t 397825006|gastric ulcer|

  :

  • This is true because any ulcer in a stomach structure is a

    Concept
    t 397825006|gastric ulcer|

• Therefore, an assertion that a person has an

  Concept
  t 56208002|ulcer| ShowFormat inline

  with

  Concept
  t 363698007|finding site| ShowFormat inline

  Concept
  t 69695003|stomach| ShowFormat inline

  is sufficient to imply that they have a

  Concept
  t 397825006|gastric ulcer|

  :

  • Since a gastric ulcer necessarily involves the

    Concept
    t 78653002|gastric mucosa| ShowFormat inline

    it should be possible to deduce that a person with an "ulcer" with finding site

    Concept
    t 69695003|stomach| ShowFormat inline

    has a disorder of with a site

    Concept
    t 78653002|gastric mucosa|

...