OpenCyc.org HomepageHierarchy Browser Parameters Help

E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1997-2002 Cycorp. All rights reserved.

Hierarchy Browser Settings

This page allows you to specify settings for the CYC® Hierarchy Browser. Here you can set the starting term (the central, focal, or reference term), the microtheory or microtheories to be used, the binary predicate to be used, the argument position to use as the index, the maximum height and depth to display, and various "extra" features.

Starting Term

This section of the page allows you to specify the starting point, or "pivot" term, around which a hierarchical display will be constructed. "Superior" terms will be displayed above and to the left of the pivot term. "Inferior" terms will be displayed below and to the right of the pivot term. Enter the name of a CYC® term (constant, non-atomic term, or lexicon entry) in the type-in space. If your input is ambiguous -- that is, if it can refer to more than one CYC® term -- you will be presented with a menu of terms from which to choose.

Default Settings

Every CYC® term is a member (element) of one or more sets (types, collections). Some types have pre-defined standard, or default, display settings (see below). If the term entered in the Starting Term type-in space belongs to one of these types, and if the checkbox labelled "Use default settings for term" is checked, then the default settings for this type of term will be used NO MATTER WHAT OTHER SETTINGS ARE SPECIFIED. In other words, if the "Use default settings for term" box is checked, and if the specified starting term belongs to a type which has default settings, then these defaults will override all other settings. To turn off the default settings (and thus prevent them from overriding other settings you might want specify), simply uncheck the "Use default settings for term" box.

Here are the types which currently have pre-defined default settings, and the settings for each type:
Type Microtheory Predicate Index Argument Max Height Max Depth
#$Collection ALL #$genls 2 2 2
#$Predicate ALL #$genlPreds 2 5 5
#$Microtheory ALL #$genlMt 2 2 2
#$AttributeValue ALL #$genlAttributes 2 5 5
#$GeographicalRegion ALL #$geographicalSubRegions 1 2 2

The default settings cannot (easily) be changed by an ordinary user. They are somewhat arbitrary, but are designed mainly to prevent novice users from unintentionally asking the system to construct hierarchical displays that would take several minutes of computation time and fill many screenfuls when presented. There is nothing to prevent the user from intentionally making such requests, by unchecking the "Use default settings for term" box!

Microtheory

This section of the page allows you to specify the microtheory or microtheories to use when constructing the hierarchical display. Note that the CYC® Hierarchy Browser is really just another way of looking at a subset of the assertions in the CYC® Knowledge Base. Like all CYC® assertions, those viewed in the Hierarchy Browser are grouped, or bundled, in logical contexts (microtheories). The Hierarchy Browser allows you to select assertions from one microtheory, from a set of nested microtheories, or from all of the microtheories in the CYC® Knowledge Base:

Note that if the box labelled "Use all mts" is checked, this will override any other microtheory settings. All microtheories will be used, no matter what is entered in the type-in space, and regardless of whether or not the other checkbox is checked.

Note, also, that if the checkbox labelled "Use default settings for term" under the heading Starting Term is checked, and if the term entered is of a type which has pre-defined default settings, then these pre-defined default settings will override other microtheory settings, no matter what they are.

Binary Predicate

This section of the page allows you to specify the binary relation that will be used to construct the hierarchical display. Enter the name of a binary CYC® predicate in the type-in space. If your input is ambiguous -- that is, if it can refer to more than one binary predicate -- you will be presented with a menu of predicates from which to choose. In most cases, it makes sense to specify only a transitive binary predicate, but any binary CYC® predicate is allowed.

Note that if the checkbox labelled "Use default settings for term" under the heading Starting Term is checked, and if the term entered is of a type which has pre-defined default settings, then the pre-defined default predicate will be used no matter what is entered in the type-in space for the Binary Predicate section.

Index Argument

This section of the page allows you to specify which argument position the starting or "pivot" term should occupy relative to lower or "inferior" terms in CycL expressions using the predicate specified in the Binary Predicate section. This information will determine whether "broader" terms will appear above and to the left of the starting term, or below and to the right of the starting term, when the hierarchical display is constructed.

Suppose I have selected #$Dog as my starting term, and #$genls as my binary predicate. Now I am faced with this choice: do I want the terms that are more general than #$Dog to appear above #$Dog in the hierarchical display and the terms that are more specific than #$Dog to appear below it, or do I want the terms that are more specific than #$Dog to appear above it and those that are more general to appear below it? If I want the more general terms to appear above #$Dog and the more specific terms to appear below it, I would check the radio button marked "2". This means that in gathering and displaying the assertions used to construct "inferior" terms, the Hierarchy Browswer will start by finding all immediate X such that

  (#$genls X #$Dog)
is true. Then, for each X, X will be substituted for #$Dog in the expression above and the process will (recursively) continue until the lower part of the hierarchical display has been constructed, or some resource constraint has been reached. Note that #$Dog occupies the 2nd argument position in the CycL expression above. To construct the upper part of the hierarchical display (the part showing terms "superior" to #$Dog), the starting CycL expression will be
  (#$genls #$Dog X)
Since the placement of "superior" and "inferior" terms depends both on the argument position of the starting term, and on the value ("1" or "2") chosen for the index argument, determining how to get the hierarchical display to look like you want it to can sometimes be confusing. If you have chosen one value for the index argument and the resulting display seems "backwards" to you, simply select the other index argument value and see if this is what you want.

Note that if the checkbox labelled "Use default settings for term" under the heading Starting Term is checked, and if the term entered is of a type which has pre-defined default settings, then the default index argument setting will override the setting specifed in the Index Argument section.

Height and Depth

This section of the page allows you to specify how many steps (ascending) to the left from the starting term, and how many steps (descending) to the right from the starting term, should be included in the hierarchical display. It also allows you to specify a maximum number of "inferior" terms (terms appearing below the starting term) to display. The allowed maximum number of rightward (descending) levels to display, based on the specified maximum number of "inferior" terms, is quickly computed before the hierarchical display is constructed. The "Max depth" and "Max inferior terms" constraints interact in (possibly) unintuitive ways. Here is a specification of the relationship between these contraints. Note that (a) overrides (b), which overrides (c), which overrides (d):

If the max inferior terms type-in space is left blank, this will be interpreted to mean that there is NO UPPER BOUND on the number of inferior terms which may be displayed.

Note that if the checkbox labelled "Use default settings for term" under the heading Starting Term is checked, and if the term entered is of a type which has pre-defined default settings, then the default max height and max depth constraints will be used regardless of the settings specified in the Height and Depth section. There are no default settings for max inferior terms, so this constraint is always honored.

Extras

This section of the page allows you to set additional (mostly cosmetic) features:


Go to Top