2.</p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;">The next step is to make assertions in the KB using my new constants. Every Cyc assertion is made in some <em><strong>microtheory</strong></em>.</p>
<table align="center" border="6" cellpadding="6"><tbody><tr><td bgcolor="#3399FF">
				<span style="color: white; font-size: xx-small;">Every Cyc assertion is made in some microtheory.</span></td>
</tr></tbody></table><p style="font-family: Arial, sans-serif; font-size: m