The Pro/3 main (MDI) window has a menu-bar, a tool-bar, a status/message bar and a windowing area . The Assistant Window is a permanent fixture of the MDI window.

Status/message bar (at the bottom of the MDI window) typically shows the type of processing currently being done by Pro/3 (normally ended by ...). It also shows processing just completed.

Tool-bar provides icon-shortcuts (tools) to selected entries in the menus and also some status displays (in most cases associated with tool(s) just right of the display. Each tool's corresponding menu item is displayed in the Messsage-bar on "mouse-over". The status displays are:

  • Current trace level (left of the  T++  tool which is used to change trace level0.

  • Status of caches:  T : terminology cache active,  S : sentence model cache active (left of the corresponding to cache ON/OFF toggles).

  • Status of flags:  E : error-flag ON,  Q   :quit requested,   !  :KB not fully dervided   + : KB has been changed (left of the flag reset tool  X ).

Menu-bar

Queries This menu will include all KE-defined queries and query menus (including Pro/3 standard queries and query menus if loaded).
File Recent files - opens the Recent Files-window. This window shows a list of the recently opened files. Click to select.
New - opens a new editor window.
Open - opens a Select File-window for opening an existing file. The contents of the file will be loaded into a new editor window, with the exception of rule editor save files (.3RE) which will loaded into a rule editor window.
Save - saves the contents of the current editor window to file.
Save as - opens a Select File-window for saving the contents of the current editor window to another or new file.
Print - prints the contents of the current window (if print-able).
Reload standard knowledge - reloads Pro/3 standard knowledge from files.
Process window - processes the contents of the current editor window. The processing to be carried out depends on the contents of the window as well as its file type:
  • Queries: the queries in the window are executed.
  • Sentences, Rules, Functions, Certainty Rules: translated and stored in the KB.
Process all windows - processes the contents of all open editor window.
Process files - processes a set of knowledge files.  
Change trace level - increases the trace level by one (or if the level is 5, sets it to 1).
Reset trace - resets the current processing trace file.
Reset quit and error flags - resets the quit and error flags.
Display sentence rule - (the current window must contain sentence rules in NL (text) format or in XML-format): the sentence rules are displayed in the rule editor.
Scan files (selected) - opens the Select File-window for selecting files for scanning. Refer to FileScanner.
Create knowledge stream -  opens the Create Knowledge Stream-window.
Display trace - displays current trace in an editor window.
Close all windows - closes all open windows (except the KE Assistant-window).
Display Assistant-window on top - displays the  KE Assistant-window on top.
Source backup - Opens the Source Backup-window.
SQL backup - Backs up the entire knowledge base to a restorable low-level text file format. [SQL only]
SQL restore - Restores the entire knowledge base from an SQL backup text file. [SQL only]
Server Opens the Server-mode window.
Tree [The Tree commands apply to the current dependency tree window.]

Note that standard text editor window commands are available by using the right mouse button.

Tree Left - direct the tree left (see tree windows).
Tree Right - directs the tree right (see tree windows).
Tree Up - directs the tree up (see tree windows).
Tree Down - directs the tree down (see tree windows).
KB Initialization parameters - opens the KB initialization parameters window.
Reinitialize KB - opens the KB Initialization window (the entire contents of the main database will be deleted).
Realms/chains - opens the Records-window.
Record look-up - opens the Record Look-Up dialog which upon selection of one of the currently opened database files and entering of a database address displays the record in a Record-window.
Suspended records - opens the Suspended Records-window.
Create/view/reset cluster - opens the Create/View/Reset Cluster-window. [SQL only]
Update dependency graphs in KB  - updates the sentence model, dependency graph and derivation graph sentences in the KB from the sentences maintained in RAM.  
Regenerate indexes and dependency and sentence model graphs - See KB internals and knowledge dependencies (derivation of sentences). [3KB only]
Regenerate indexes - See KB internals. [3KB only]
Regenerate dependency graph - See knowledge dependencies (derivation of sentences).
Regenerate sentence model graph - regenerates the sentence model graph. See KB integrity.
Regenerate derivation graph - See knowledge dependencies (derivation of sentences).
Check database integrity - Checks for inconsistencies between the KB-table and the chain-tables and other integrity issues in SQL-type databases SQL-type databases. [SQL only]
Check and repair database integrity - Checks for, and where possible repairs,  inconsistencies between the KB-table and the chain-tables and other integrity issues in SQL-type databases SQL-type databases. [SQL only]
Public chains - opens the Public Chain-window.  [3KB only]
External chains - opens the External Chains-window.  [3KB only]
Run garbage collection - cleans up free space in the database. See See KB internals[3KB only]
Make copy - makes a copy of the main database into another file (named "copy of ..."). See KB internals. [3KB only]
Open SQL connection - connects to an SQL server for the purpose of using subscriptions/publications [3KB only]
Export to SQL - exports the knowledge base to an SQL database. [3KB only]
Structure Context - opens the Context-window.
Terminology - opens the Current Terminology-window.
Rename realm/segment - renames a realm or a segment.
NL-names - opens the NL Name-window.
KB-names - opens the KB Name-window.
Application identifiers (NL-names) - opens the Application Identifier-window.
Sentence type - opens the Sentence Type-window.
Sentence model element - opens the Sentence Model  Element-window.
Annotation - opens the Annotation-window.
Table layout - opens the table layout window.
Validate table layout - validates that table layouts are consistent with the current sentence model, and optionally deletes duplicate or irrelevant layouts.
Sentence model cache ON/OFF toggle -  see knowledge caches.
Terminology cache ON/OFF toggle -  see knowledge caches.
Rules Sentence rules - opens the Sentence Rules-window.
Inexact rules - opens the Inexact rule-window.
Functions - opens the Function-window.
Inexact rule reasoning trees - opens an inexact rule reasoning tree window. See inexact rules.
Delete inexact rule reasoning sentences - deletes all sentences of the type inexact evaluation is recorded. See inexact rules.
Activate all sentence rules - activates all rules. Refer to sentence derivation.
Deactivate all sentence rules -deactivates all rules. Refer to sentence derivation.
Delete all sentence rules - deletes all sentence rules.
Delete all inexact rules - deletes all inexact rules.
Set all dependencies as generated. Refer to sentence derivation.
Set all dependencies as un-generated. Refer to sentence derivation.
Knowledge dependency graphs - opens the parameter window for drawing  dependency graphs
Sentences Sentence types and groups - opens the Sentences-window.
Publications and Subscriptions - opens the Publications and Subscriptions-window.
Sentence derivation - opens the Sentence derivation-window.
Process cluster - starts processing the cluster (in which the KB is a member). [SQL only]
Multi-DB sentence derivation - opens the Multi-DB sentence derivation-window.  [3KB only]
Derive all sentences - invokes the process of deriving all sentences (i.e. sentence types whose determinant knowledge has changed or is new). See derivation of sentences.
(Re-)derive all sentences - invokes the process of re-deriving all sentences. See derivation of sentences.
Delete all derived sentences - deletes all derived sentences. See derivation of sentences.
Refresh all publications - see publications and subscriptions
Refresh all subscriptions - see publications and subscriptions
Reports All about ... Generates the All about-report: All direct and indirect occurrences of a given term in the KB. [editor window output only]
NL-names - generates a list of all NL-names the current context.
NL-names and classification - generates a list of all NL-names in the current context with classification and KB-name.
Sentence types - generates a list of all sentence types in the KB with counts for no. of inputted and derived sentences; and optionally sample sentences, annotations and lists of determinant sentence types and sentences rules concluding them.
Sentence rules where no sentences are derived - generates a list of all sentence rules and the sentence types concluded by the rules for which no sentences have been derived.
Inexact rules - generates a text-format list of all inexact rules.
Unreferenced knowledge - generates a list of unreferenced knowledge.
Unreferenced structure objects - generates a list of unreferenced sentence model objects.
Preferences Directories, file and SQL preferences - opens the Directories and files-window.
Output - opens the Output Format Preferences-window.
Processing - opens the Processing Options-window.
FileScanner preferences - opens the File-Scanning Preferences-window.
Reset window cascade position - resets window cascading-position to the upper left of the window area.
Reset ALL-flag - resets the ALL-flag.
Save current preferences - saves all current preferences to the KB's .INI file.
Exit Exits Pro/3.
Help Table of contents  - invokes the browser with the Pro/3 HTML documentation table of contents page.
Active window - invokes the browser with a page pertaining to the active window.
Usage guide - opens on the online Usage guide (help) window.
About Pro/3 - opens the About Pro/3 window.
License agreement - displays the Pro/3 license agreement. The program will exit unless you accept the agreement.
Window Tile - tiles the MDI child windows.
Cascade - cascades the MDI child windows.
Arrange icons - arranges the MDI icons.
All open MDI child windows will also have entries in the Window-menu.

See also PRO3.EXE.