Is this a problem of logic or of definitions? If one remembers to reason about the objects themselves, instead of the words of the definition, then you don't have the problem where you've created a simplified model of something right off the bat (dropping half the information).

This is an area where AIs will have an advantage over us, because they should be able to reason about objects directly without having to compress them in to a definition first.