impimateur, I doubt if Topic Maps are likely to be very much real use.

I think a much more productive direction to go in would be to 
reconcile KIF with the emerging web-based semantic markup languages, 
notably DAML+OIL, which provide both a way to use URIs as an 
organizing tool to connect ontologies on the web and could be fully 
integrated into the logic itself. There already is an axiomatic 
semantics for DAML+OIL written in KIF, for example.

&gt;2. If we are going to get the SUO used, we need to mak