An online examples of KIF ontology browser:

http://virtual.cvut.cz/cgi-bin/kifb

Standford spec on KIF (interesting links to Knowledge Sharing at the bottom):
http://www-ksl.stanford.edu/knowledge-sharing/kif/

The NZDIS project (associated with DSTC too), SableCC grammars (KIF, FIPA and OQL), AgentCities services and UML based visualization tools:

http://nzdis.otago.ac.nz/servlet/Dis/
http://sourceforge.net/projects/sablecc/
http://nzdis.otago.ac.nz/resources/allprojects.xml

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.

http://www.agentcities.org/

RMIT has a project associated with this (there's a link to JACK an Australian made intelligent agent - struth!):
http://www.cs.rmit.edu.au/agents/protocols/