Some binary predicates tend to have assertions which form tree-structured graphs. The obvious example is #$genls, where we can take some collection as the root of the tree and branch downward to more and more specific collections. The Hierarchy Browser is a tool for presenting these tree-structured graphs in an indented text format. The user can choose a constant for a root node, the binary predicate to graph, and the depth of search.
To use the Hierarchy Browser, go to the Cyc® Navigator page and click on the "Hierarchy Browser" link.
The Cyc Hierarchy Browser
This page displays a subset of Cyc assertions in indented hierarchical form. The hierarchy is constructed by beginning from a specified starting (or "pivot") term, and recursively following a specified binary relation from the starting term to "superior" and "inferior" terms.
When a starting term is selected and the command to display a hierarchy is given, the upper leftward ("superior") part of the hierarchy is computed first. This part of the hierarchy is then partially compressed in an effort to quickly remove some redundant information, and is displayed. Next the starting term is displayed. Finally, the lower rightward ("inferior") part of the hierarchy is computed and displayed.
Links from the KB Browser
On several of Cyc's web browser interface pages, certain terms are displayed with a small red diamond to the immediate left of the term. Clicking on this small red diamond will cause a hierarchical display for the term to be constructed.
Hierarchy Browser Settings
To specify a new starting term or to change other Hierarchy Browser settings, click on the [Change Hierarchy Browser Settings] button.
For a more detailed description of some of the Hierarchy Browser's features, see the help link on the Hierarchy Browser Parameters page, accessible via the button mentioned above.
For a brief explanation of the various symbols used in the Hierarchy Browser, or to customize your Hierarchy Browser's symbols or colors, go to the page accessible via the button mentioned above. On this page, under the section labelled "Extras", click on the "Colors and Symbols" link.