You're missing by far the biggest intranet vendors. Verity is the king of this market, and have been since the mid-90s. They get a lot of mileage out of their OEM sales; it sounds simpler to a company if they hear that they "already have Verity" within Documentum or Cold Fusion or whatever.

It'll be very interesting to see what they do with the Inktomi purchase. (They bought the productized search before Yahoo snarfed up the external services.) Inktomi is IMHO the best intranet search engine right now. (I believe Verity is dropping the Inktomi name and is calling the tool Ultraseek, which goes back to Inktomi's acquisition of Intelliseek.) The purchase gave Verity yet another leg up with enterprise search, it'll be interesting to see if they leverage the technology or if they see this more as a marketing move.

Google is obviously a big player here too. Don't need to evangelize to the /. crowd on that. However Gooogle still has a way to go in understanding how to tackle enterprise search.

Autonomy is another big player in the enterprise, though I am less familiar with their tools.

Other interesting enterprise search vendors include FAST, Isys, and Divine/Northern Light (yes they're still around). Teoma/Ask Jeeves could get there if they productize their search tool. Lots of interesting approaches there but nobody who's quite moved up into the first tier.

Anyway, it's a messy space even with all the consolidation above. I have no idea whether Ovation will keep up their enterprise sales effort or not; I suppose it depends on how profitable that part of the business is. Guess we'll find out...