um; line-height: normal;">These steps should have successfully created our new microtheory and connected it to other useful microtheories. There is one more thing we can do to streamline our work with microtheories. Let's make our new microtheory appear as the default choice when making assertions.</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