has been added to the KB, so let's go on and assert that Billy is an animal.</p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;"><img alt="Try it yourself! Enter this into your copy of OpenCyc." border="0" src="/cycdoc/img/cb/keyboard_icon.gif" width="30" />    <span style="color: #660033;">Click on the Tools link in the left corner of the top frame. Click on the "Assert" link in the column on the left. Enter "(isa Billy Animal)" in the large text box. <span>  [ Sh