A meronymic relation stating that one entity (the part) is a constituent, component or member of another entity (the whole); it expresses compositional membership rather than class subsumption and carries asymmetry and context‑dependent transitivity properties.

Principle

Part–Whole captures compositional inclusion: the part contributes to the whole’s structure or function but is not inferred to be a subtype of the whole; the relation is typically asymmetric and may or may not be transitive depending on the modeled part hierarchy.

Demonstration

Illustrative scenario: Wheel (part) — Car (whole). Situation → Recognition: cataloguer records Wheel as a component of Car; Action: a parts‑lookup system uses part‑whole links to locate replacement wheels for a given car model; Consequence: the system returns wheel specifications associated with the car rather than treating wheels as instances of the car class.

Misapplication

Treating part–whole as a subclass (is‑a) relation, thereby using part membership to infer instance types; the semantic error is confusing compositional inclusion with taxonomic subsumption.

Consequence

When correctly modelled, part–whole relations support component lookup, assembly reasoning and maintenance workflows; mismodelling leads to incorrect type inference, faulty aggregation and misleading search or analytics.

Reversal

In some conceptual frameworks (e.g., when modelling ‘roles’ or abstract collections), apparent part–whole statements may instead be membership, aggregation or conceptual grouping, requiring different relations and inference rules.

Boundary

Clearly within: a physical component that is functionally integrated into a larger artifact. Boundary case: organizational subunits (a department as part of an institution) where membership, control and boundaries are fuzzy. Clearly outside: taxonomy subclassing, associative relatedness, or mere co‑occurrence.

Semantic Tension

Whole–Part Integrity ↔ Typing/Generalization — modelling must choose between expressing compositional integrity and asserting generalization relationships; conflating them undermines correct inference.

Synthesis

Part–Whole relations encode composition, not classification: accurate modelling requires explicit choices about transitivity, temporal attachment and the ontological status of parts to preserve correct downstream inference.