一种逻辑推理形式或一个例子，基于这样的假设，如果已知两个事物在某些方面是相似的，那么它们在其它方面也一定是相似的

• a form of logical inference or an instance of it,based on the assumption that if two things are known to be alike in some respects,then they must be alike in other respects