Home / Glossary / Assertion

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.