出处：按学科分类—哲学、宗教 辽宁人民出版社《诸子百家大辞典》第887页（192字）
名家公孙龙的名辩命题，见《公孙龙子·通变论》。
羊与牛可以归为一类，但马却不能归入这个类。羊与牛虽然在某些地处不同，但有某些属性如“有角”则“俱有”，因而可以归为一个类。
马与牛、羊的相同之处较少，如“羊牛有角，马无角；马有尾，羊牛无尾”(谓无毛尾)，所以不能归入羊、牛一类。
此命题与“牛合羊非鸡”，反映了公孙龙对于“类”的条件性的认识。