已知概念A与B的外延不同，又已知“有B是C”为真，则下列判断为真的是（）。