Topic Maps.
&gt;Topic Maps only provides a structuring and linking capability - precisely
&gt;what KIF doesn't have.

What "structuring capability" is provided in  ISO/IEC 13250 ? See for 
example <A  HREF="http://www.ornl.gov/sgml/sc34/document/8/draft27.pdf">http://www.ornl.gov/sgml/sc34/document/8/draft27.pdf</A>

&gt;There are two points:
&gt;
&gt;1. Topic Maps can help us to organise our KIF theories - manage the network
&gt;for us. All we get with KIF is something monolithic.

I fail to see quite how 