Una relación meronímica que indica que una entidad (la parte) es constituyente, componente o miembro de otra entidad (el todo); expresa inclusión composicional y no subsunción de clase, y presenta asimetría y transitividad dependiente del contexto.

Principio

Parte–Todo captura inclusión composicional: la parte contribuye a la estructura o función del todo pero no se infiere que sea un subtipo del todo; la relación suele ser asimétrica y puede o no ser transitiva según la jerarquía de partes modelada.

Demostración

Escenario ilustrativo: Rueda (parte) — Coche (todo). Situación → Reconocimiento: el catalogador registra Rueda como componente del Coche; Acción: un sistema de repuestos utiliza enlaces parte–todo para localizar ruedas de reemplazo para un modelo concreto; Consecuencia: el sistema devuelve especificaciones de ruedas vinculadas al coche en lugar de tratar ruedas como instancias de la clase coche.

Aplicación incorrecta

Tratar parte–todo como una relación de subclase (is‑a) y usar la pertenencia de parte para inferir tipos; el error semántico es confundir inclusión composicional con subsunción taxonómica.

Consecuencia

Bien modelada, la relación parte–todo soporta búsqueda de componentes, razonamiento sobre ensamblajes y flujos de mantenimiento; una mala modelización conduce a inferencias de tipo incorrectas, agregaciones erróneas y búsquedas o análisis engañosos.

Inversión

En algunos marcos conceptuales (por ejemplo, al modelar roles o colecciones abstractas), enunciados aparentemente parte–todo pueden ser en realidad membresía, agregación o agrupación conceptual, requiriendo relaciones e reglas de inferencia distintas.

Límite

Claramente dentro: un componente físico integrado funcionalmente en un artefacto mayor. Caso límite: subunidades organizativas (un departamento como parte de una institución) con pertenencia, control y límites imprecisos. Claramente fuera: subclasificación taxonómica, relación asociativa o mera coocurrencia.

Tensión semántica

Integridad Todo–Parte ↔ Tipado/Generalización — la modelización debe elegir entre expresar integridad composicional y afirmar relaciones de generalización; confundirlas perjudica la inferencia correcta.

Síntesis

Las relaciones Parte–Todo codifican composición, no clasificación: una modelización precisa requiere decisiones explícitas sobre transitividad, atadura temporal y estatus ontológico de las partes para preservar inferencias correctas.