OpenCyc.org HomepageTerm Index Help

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

See the Key for Icons in the Browser for an explanation of icons used in this section.

The Term Index is used to display information about a selected constant in the KB, and is divided into two frames. The left-hand frame contains a list of operations that can be performed on the displayed constant, as well as an index of assertion types involving the constant. The right-hand frame contains the actual assertions, and its contents are determined by the term that is selected in the left-hand frame index.

The options available in the Term Index will vary with each constant, as well as with different versions of the CYC® System. If an option below does not appear do not be alarmed.

Left-Hand Frame

The constant is displayed at the top of the frame. Clicking on the red diamond will bring up the Hierarchy Browser display for the constant. Clicking on the "A" icon will bring up the Alphabetical Search with the constant as the root node.

Operations on Constants

The various operations that can be performed on the constant are listed underneath the constant name:

For certain constants, the hotlinks to "Rename" and "Kill" will not be active. These are constants that are mentioned in code, and a special procedure must be followed when renaming or killing them. See Renaming Constants in Code for details. Constants mentioned in code will be labelled "CODE" at the top of the right-hand frame when "Definitional Info" is selected in the index.

Constants mentioned in the documentation also have special procedures governing their renaming and killing. See Renaming Public Constants for details. Constants in the public release will be labelled "PUBLIC" at the top of the right-hand frame when "Definitional Info" is selected in the index.

Index Categories

Clicking on an index category in the Term Index will cause the corresponding set of assertions involving the displayed constant to be displayed in the right-hand frame. For example, clicking on "genls" under the "Arg 1" heading will display all of the supersets of the constant. Clicking on the red diamond next to a category will bring up the Hierarchy Browser display for the constant using the category as the indexing predicate. Clicking on one of the plus "+" icons will compute all possible assertions (local plus deduced) in that category using the Literal Query tool. Clicking on the category itself will display only local assertions of that type.

The different index categories:

Right-Hand Frame

The right-hand frame displays actual assertions in the CYC® KB.

The constant being displayed is listed at the top of the frame. When "Definitional Info" is selected in the index, below the constant additional information will be listed: the unique constant ID number, "PUBLIC" if it's a public constant, "CODE" if the constant is mentioned in SubL code.

Clicking on the colored ball in front of an assertion brings up the assertion display page, where various operations can be performed on the assertion. See the Key for Icons in the Browser for an explanation of the colored balls and other icons.

Unlike in the index in the left-hand frame, clicking on highlighted constant names in the right-hand frame will bring up the KB Browser display for that constant.

Assertions are grouped by the microtheory in which they are asserted. Most assertions are written in standard CycL. However, "Definitional Info" is listed in an easy-to-read frame-slot format like this:

  Arg : 1

  Mt: BaseKB
  isa: Collection
  genls: Individual
Since the assertions are in the "Arg 1" section, the constant is in the first argument position for the given relation; under "Arg 2", the second. Thus the above format represents the assertions:
  (#$isa constant #$Collection) in #$BaseKB
  (#$genls constant #$Individual) in #$BaseKB
  (#$genls #$Mammal constant) in #$BaseKB


Go to Top