An online examples of KIF ontology browser:
Standford spec on KIF (interesting links to Knowledge Sharing at the bottom):
The NZDIS project (associated with DSTC too), SableCC grammars (KIF, FIPA and OQL), AgentCities services and UML based visualization tools:
Btw, I like SableCC. We use it for work (ITQL) and I use it in RCOSjava (SimpleC).
AgentCities is a website I look at from time to time trying to understand what it is. I know it has something to do with FIPA and agents and there's some sort of federation of clients/servers but I don't really understand what it's actually doing.
RMIT has a project associated with this (there's a link to JACK an Australian made intelligent agent - struth!):