El Todo y las Partes: Estudios de Ontología formal