Assertion

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.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA