...
'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. . 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)).
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)')
General class axioms:
'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)'