IsA
反例