A is considered to be if its are sufficient to define it relative to its immediate supertype(s). A which is not is and this is indicated by the value of the field.

Example: is a lung disease but unless are specified that effectively distinguish from other lung diseases then it is regarded as a .

If a is then the for that are incomplete. It is not possible to automatically compute that a represented as a combination of several is or is not a of a particular .

Example: The "lung disease" qualified by = may be but could also be "bronchitis."

In contrast if a is it is possible to state that any represented as a combination of the same is equivalent to or a of that .

Example: Assume that the is as with = and that is a . It then follows that the post coordinated representation of as with = is computably a of