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