General notes:
Types of part of attributes can be found in the Editorial Guide chapter 4. Part of relationships (under development)
Laterality' attribute is optional and is only applicable for an anatomical entity that is lateralizable, e.g. limb, hand. More information can be found in the Editorial Guide chapter 5. Laterality (draft)
Concept in the square brackets [ ] should be replaced by other concept for new model.
Entire named body region:
...
'Entire body region (body structure)'
and ('Regional part of (attribute)' some '[Entire wrist and hand] (body structure)')
and ('Laterality (attribute)' some 'Side (qualifier value)')
Structure of
...
named body region:
Equivalent To:
'Body structure (body structure)'
and ('All or part of (attribute)' some '[Entire hand] (body structure)')
and ('Laterality (attribute)' some 'Side (qualifier value)')
...
'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 [
...
body 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. , and [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 of [body region]:
For example, 'Skin structure of part of hand' can be modelled as following. The nested expression for part of body region is not supported in the normal axioms. This requires a GCI axiom to cover the nested expression e.g. (All or part of some (regional part of some entire hand)).
...
'Body structure (body structure)'
and ('All or part of (attribute)' some 'Entire skin (body structure)')
and ('All or part of (attribute)' some ('Regional part of (attribute)' some '[Entire hand] (body structure)'))
and ('Laterality (attribute)' some 'Side (qualifier value)')
SubClassOf '[Skin structure of part of [ hand] (body structure)'