商标无效宣告程序是指在商标法规定的法定期限内，任何人均有权向商标审查委员会申请对已经注册商标的有效性进行查证和确认的一种行政诉讼程序。在商标无效宣告程序中是否存在“销售”的情形，这是一个非常值得关注的话题。

首先要明确的是，“销售”是一个不在商标无效宣告程序范围内的行为。商标无效宣告程序只是针对商标的有效性进行确认的一种行政诉讼程序，而与商标本身相关的实际生产、销售等行为并不纳入其中。因此，在商标无效宣告程序中涉及到“销售”的情形，实际上是指商标使用者在商标注册过程中，故意或无意地虚假说明或者隐瞒了商标的实际使用情况，导致商标在注册时被认为是已有实际使用，但实际上并不存在或未曾使用的情况。

商标无效宣告程序中的“销售”情形被认为是一种严重的商标违法行为。在商标注册过程中，商标使用者应当按照规定提交符合实际情况的商标使用声明，说明商标的实际使用情况。如果商标使用者故意或无意地虚假说明或者隐瞒商标的实际使用情况，导致商标注册时被认为是已有实际使用，而实际上并不存在或未曾使用，则涉嫌商标注册不良信誉行为，并扰乱了商业秩序，从而对其他商家的合法权益造成了损害。

因此，在商标无效宣告程序中发现“销售”情形时，商标审查委员会将根据实际情况确定是否存在商标注册不良信誉行为，进而依法对商标的有效性进行查证和确认。如果商标的有效性被认为存在问题，商标审查委员会将作出商标无效宣告的决定，撤销该商标的注册，防止其对其他商家的合法权益造成伤害。

总之，在商标无效宣告程序中，存在“销售”的情形实际上是指商标注册过程中，商标使用者虚假说明或者隐瞒商标的实际使用情况，并非指商标本身所涉及的销售行为。商标无效宣告程序的目的是为了维护商标注册的公平、公正、透明的原则，并保护其他商家的合法权益。因此，在商标注册过程中，商标使用者应当认真履行申报义务，按照规定提交符合实际情况的商标使用声明，以免涉嫌商标注册不良信誉行为并遭受撤销商标注册等法律后果。