如果概念S与概念P之间具有从属关系，则（）。
A、“所有S是P”必真
B、“有的S是P”必真
C、“所有S不是P”必真
D、“有的S不是P”必真