IsA
断定