Another way to say "A rock is a stone" is "One sort of stone is a rock."