Individuals that are instances of disjoint classes, such as 'physical object' and 'location' cannot be parts of each other.
The relationship x 'has part' y implies that y is physically or conceptually associated with x, contributing to its structure, functionality, or characteristics.
Where possible, the sub-properties should be used. This property can be used for arbitrary aggregates.