SAGE
v0.40 Rev B
File
New KB
Open KB…
Ctrl O
Save KB…
Ctrl S
Load Demo KB
Save Trace as Text…
Resume Session…
Edit
Undo
Ctrl Z
Redo
Ctrl Y
Cut
Ctrl X
Copy
Ctrl C
Paste
Ctrl V
Select All
Ctrl A
Clear Editor
Find / Replace…
Ctrl F
Go to Line…
Ctrl G
KB
Parse
Ctrl P
Pretty-Print
Indentation…
Lint
Ctrl L
View
Knowledge Base Editor
Consultation
Trace Log…
Results…
Auto-Ask Report…
Consult
Start Consultation
Ctrl R
Debug Consultation
Ctrl D
Why?
How?
Reset
Help
About SAGE…
Quick Reference…
Knowledge Base
Lint Results
Close
Debugger
Step
Continue
Stop
—
Waiting…
Known Facts
Goal Chain
Idle