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:
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.