IsA
論理和