Just in case someone wants to read on this issue, the whole question of categorization by necessary and sufficient conditions (which bears at least some similarity to uncancellable semantics) versus categorization by prototype has been thoroughly examined by John Taylor in his Linguistic Categorization. Kimmo Huovila