Representing and reasoning over a taxonomy of part-whole relations