Browser Options Help
E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1997-2002 Cycorp. All rights reserved.
This page allows the user to set interface options for the KB Browser. These options are persistent for a given CYC® Image, NOT for a given CYC® user. To save settings changes, read the Interface Settings section below.
To modify options, make changes to the various options listed on the Browser Options page, then press the [Change Options] button.
To restore all options settings to their values before changes were made, press the [Current Values] button.
To cancel all options changes and return to the previous page, press the [Cancel] button.
- Server Update Interval: setting this option to an integer value causes the Agenda Status Bar to be automatically updated in intervals of the specified number of seconds. It may be necessary to refresh the KB Browser or click on the "Update" link in the Agenda Status Bar one final time to activate this option. Leaving the input field blank (the default value) disables the automatic update; the Agenda Status Bar must then be updated manually be clicking on the "Update" link when an update is desired.
- Wrap Assertions: clicking on this option causes assertions to wrap when displayed by the KB Browser. The default value is for no wrap to occur, which allows more assertions to be displayed at one time, but may inhibit viewing of an entire axiom due to length.
- Wrap Interactor and Ask input boxes: clicking on this options causes text in the large text input windows (e.g Interactor, Ask, Assert, Edit) to wrap automatically. The default value is for no wrap to occur.
- Show assertions in English: clicking on this option causes assertions to be displayed in generated English, as opposed to CycL (the default). This option can also be set in the "NL Tools" section of the CYC® Navigator".
- Display current MT: clicking on this option turns on the #$Microtheory filter tool, causing a special "ViewMt" link to appear in the Term Index. Using the "ViewMt" link to set a microtheory filter will cause only those assertions in the specified microtheory to be listed in the Term Index.
- Interface Settings: it is possible to save preferred KB Browser settings in a file for later use. To do this, click on "Save Interface Settings" to go to the Save Interface State page. For help with saving the settings to a file, look at Save Interface State Help. To invoke KB Browser settings which have been saved previously, click on "Restore Interface Settings" to go to the Restor Interface State page. For help with restoring the settings from a file, look at Restore Interface State Help.
- Frames and JavaScript: to use HTML frames and JavaScript while using the KB Browser, make sure both buttons are clicked. Both are recommended and are set as default values. Unfortunately, some HTML browsers do not yet support HTML frames and/or JavaScript. If this is the case with your browser, unclick the relevant option to see a more basic version of the KB Browser.
The constant options affect how a CYC® constant is displayed in the Browser, not the KB Browser in general.
- Default Content: this option sets what kind of information is displayed for a given constant when that constant is first selected. It is only possibly to choose one of the listed options at a time.
- As much as possible up to __ assertions: will display as many assertions as possible up to the number specified, regardless of type of assertion.
- Documentation: will display documentation assertions about the constant, including #$comment, etc.
- Definitional Information: will display assertions considered definitional for the constant, such as #$isa, #$genls, etc; will also display whether a constant is "public" or "mentioned in code".
- Lexical Information: will display lexical information about the constant, including #$denotation, etc.
Go to Top