s document has dealt mostly with the syntax of sentences in CycL. This is the syntax used by people or external programs when they assert things into a version of the CYC KB or query the KB. Now we will shift our focus to what sentences look like once they have been asserted into the KB.</p>
<p style="border-style: initial; border-color: initial;">The CYC KB consists of a large number of assertions. When a sentence is successfully asserted into the KB, it is stored as one of these. Each assertion is compose