| CONTROL |
DESCRIPTION |
| Term
search or String search |
You can
either search for a term (i.e. a structure), or for a
plain string (i.e. occurring inside a term). |
| Term |
|
term |
The term you want to search for,
i.e. the term in its internal format (e.g. atom("iVN")
or int(2)). |
|
string |
The string you
want to seach for. |
|
| Sentence
output or Record output |
Select Sentence
output if you only want to consider
sentence-type records, and check if you want to include inputted,
derived or both types of sentence records.
- Derived sentences
- Inputted sentences
Select Multiple output windows if you want to display each
sentence type in a separate window. NL, PR and Table output formats
are supported (NL will be used for other output formats - see Output
preferences). Report-type output (NL or PR) will be used if
multiple output windows is not selected. |
Select Record
output if you want to consider all types of
records, and check the record types you want to include:
- Derived sentences
- Inputted sentences
- Sentence rules
- Derived sentence rules
- Certainty rules
- Functions
Select Translate records found
if you want NL or PR format outputs (see Output preferences).
|
| Include
suspended records |
Check of
you want to include suspended records in the search. |