 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;">With the "Assert Formula" page still up, enter " <tt><span style="font-size: xx-small;">(isa Billy DomesticPet)</span></tt> " in the large text box.<span>  [ Show me ] </span>Don't forget the parentheses. Click on the Cyclify button immediately above the large text box. You should see '#$' characters appear at the beginning of each term in 