Assertions in the Cyc KB are similar to sentences stating facts and principles in a natural language such as English. However, each assertion has one intended meaning, and makes its context explicit. An assertion has several parts, including:
- a CycL sentence
- a Truth value
- a Microtheory, which is the context where that sentence with that truth value holds
For more information about assertions in Cyc, see the training module introducing them.