检查类型是否具有一个或多个子定义。