IsA
下界