用以类比推理的前提中的属性应当是本质属性。