 provide this structure, but software could be 
written to extract it automatically. Cycorp have extensive tools to 
allow the user to 'browse' through a large axiomatic Kbase, including 
such facilities as asking for a concept related to an existing 
concept, view and navigate through the (highly complex) class 
heirarchy, and see all axioms which mention a concept or group of 
concepts. It takes some getting used to (its considerably more 
complex than hyperlinks), but one can do most of what one wants to