Hmm. So the terminology is from formal logic. What I'm trying to say is basically, once I know that T-850 is a robot, I can easily distinguish it from a human, at least at the level of thought. In this case, I would argue that the distinction in thought corresponds to a distinction in reality. However, I may not be able to come to a correct understanding of what T-850 is. This, however, does not change the argument, because then I lack a correct understanding of what I am classifying.