Assuming finitely many "kinds" only, the notion of "similarity" can be defined by that of "kind": an object "A" is more similar to "B" than to "C" if "A" and "B" belong jointly to more kinds than "A" and "C" do.