IsA
記号化