## Filter Mts Help

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

### Microtheories as Filters

The Filter Mt tool is a way of using a selected #$Microtheory (or a subset of microtheories or all microtheories) as a filter for viewing assertions and constants in the KB Browser.

The default setting is "All Mts", which means that no filter is being used, and assertions from all microtheories will be displayed when a constant is viewed in the Main Display Frame.

Selecting one or more particular microtheories as a filter will cause two things to happen:

1. Index catagories in the Term Index will be filtered with respect to the chosen microtheory. That is, the Term Index will behave as if the displayed constant only has assertions in the chosen microtheory and the #$BaseKB. All other assertions involving the constant will be ignored by the Term Index.
2. Assertions in the Main Display Frame will be filtered with respect to the chosen microtheory. That is, only those assertions in the #$BaseKB and the chosen Mt will be displayed. All other assertions involving the constant will not show up in the Main Display Frame.

### Selecting a Microtheory

The "Filter Mts" page includes a list of microtheories which contain assertions involving the given constant. To change the setting from "All Mts" and choose one or more of these microtheories as a filter, select "Specify Mts" and then select the check box to the left of the desired microtheory, then press the [Update Current Mts] button.

The Term Index and Main Display Frame will reflect the changedFilter Mts setting until the user changes the settings again (i.e., selects a different filter or restores the "All Mts" setting) or until the image is restarted.

To reset the check boxes to their prior settings, press the [Current Values] button.

Go to Top