![]() | Editing the Cyc® KB with the Web Interface |
![]() | The Communication Mode |
![]() | Adding an Assertion |
Remote:() Local:()
Remote shows the status of operations read from the master transcript, and local shows the status of operations originating on the local Cyc Server. Each may have up to three numbers showing the number of operations in various stages of processing. The first is the number of operations waiting to be processed. The second is the number of operations that have been processesd but have not been recorded in the transcript. The third is the number of operations that have been processed and recorded in the transcript. When no operations are waiting to be processed or recorded only the third number is displayed. Therefore,
Remote:(50 20 100) Local:(30 10 50)
will be followed by
Remote: (170) Local: (90)
assuming, of course, that all the operations are processed without errors.