...

A Definition that is Both Necessary and Sufficient

The definition shown in  provides in 

• The === symbol indicates that the concept definition is equivalent to the concept. 
  • This means that each of the assertions in the definition is necessarily true for all instance of the concept 

    Concept
    t 710785000 |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.

Stated view of the definition of |Laparoscopic repair of hernia|

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

...

• 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
    t 710785000 |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

The definition shown in  provides in 

• The <<< symbol indicates that the concept is a subtype of the concept definition. 
  • This means that each of the assertions in the definition is necessarily true for all instance of the concept 

    Concept
    t 173574009 |Acute benign pericarditis (disorder)|

    .
  • However, this definition is not sufficient, because it is represent a more general meaning. Put another way, it does not capture one or more distinguishing features or the

    Concept
    t 173574009 |Acute benign pericarditis (disorder)|

    . This means that even if all the assertions are true, it may or may not be this concept or one of its subtypes.

Stated view of the definition of |Acute benign pericarditis|

<<< 64572001 |Disease| :
        263502005 |Clinical course| = 424124008 |Sudden onset AND/OR short duration|
            { 116676008 |Associated morphology | = 4532008 |Acute inflammation| , 
              363698007 |Finding site| = 24949005 |Pericardial sac structure| }

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

The definition shown in  provides in 

• 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
    t 173574009 |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
    t 173574009 |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
    t 8801005 |Secondary diabetes mellitus (disorder)|

     are caused by a medicinal product or a disease. 

Possible stated view of the definition of |Secondary diabetes mellitus|

>>>73211009 |Diabetes mellitus|:
        246075003 |Causative agent| = 

763158003 |

Medicinal product|
OR
>>>73211009 |Diabetes mellitus|: 
        42752001 |Due to| = 64572001 |Disease|

Sufficiently Defined

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

   •  If a concept has a sufficient definition, it is possible to infer whether another concept or a 

     Gloss
     PreSpace false t postcoordinated expression

      is a 

     Gloss
     PreSpace false t subtype

      of, or equivalent to, that

     Gloss
     PreSpace false t concept.

     
     
     

2. Primitive

   Glossary include
   Gloss primitive concept Suffix is Def inline Example true Note true Prefix A

...