( )是根据两个(或两类）对象在某些属性上相同或相似，推出它们在另一些属性上也相同或相似的推理。