ew Roman'; line-height: normal; font-size: medium;"> </p>
<p style="font-family: 'Times New Roman'; line-height: normal; font-size: medium;">The first thing to do when you've started up a new OpenCyc image is to log in. To do this, click on the "Login" link in the Toolbar (the top frame of the KB Browser). In the window, enter the Cyc constant that refers to you (e.g., #$Fred). This is not (necessarily) the same as any site login (e.g., LINUX filesystem) that may be implemented. If the appropriate Cyc cons