IsA
必須条件