What's a part? On formalizing part-whole relations