Page tree

Versions Compared

Key

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

Entire skin of [body region]:

For example, 'Entire skin of hand' can be modelled as following.  [Entire hand] can be replaced by other body region. Note, laterality is optional and it is only applicable to the anatomical entity that is lateralizable.

...

'Material anatomical entity (body structure)'
and ('Regional part of (attribute)' some 'Entire skin (body structure)')
and ('Constitutional part of (attribute)' some '[Entire hand] (body structure)')
and ('Laterality (attribute)' some 'Side (qualifier value)')

Skin structure of [entire skin of region]:

For example, 'Skin structure of hand' can be modelled as following. [Entire skin of hand] can be replaced by any other entire skin of a region.  The additional GCI axiom is needed. [Entire hand] region can be replaced by other body region.

...

'Body structure (body structure)'
and ('All or part of (attribute)' some 'Entire skin (body structure)')
and ('All or part of (attribute)' some '[Entire hand] (body structure)')
and ('Laterality (attribute)' some 'Side (qualifier value)')
SubClassOf 'Skin structure of hand (body structure)'

Skin structure of part of [body region]:

For example, 'Skin structure of part of hand' can be modelled as following. 

Equivalent To:

'Body structure (body structure)'
and ('Proper part of (attribute)' some 'Entire skin (body structure)')
and ('Regional part of (attribute)' some '[Entire hand] (body structure)')
and ('Laterality (attribute)' some 'Side (qualifier value)')