Наследование классов не транзитивное

Точнее не всегда транзитивное. Грубо говоря, если класс A наследуется от B, а класс С от B, то функция проверки является ли С подклассом A не всегда говорит правду. В статье приведены примеры таких случаев и описываются причины и следствия этого не всегда очевидного поведения.