OpenCyc.org HomepageAssertion Display Frame Help

E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1997-2002 Cycorp. All rights reserved.

See the Key for Icons in the Browser for an explanation of icons used in this section.

The Assertion Display Frame displays the details of a single CYC® assertion, and allows the user to perform a number of operations on that assertion.

Assertions in the KB are uniquely identified by an assertion ID number. This is listed at the top of the page. If the assertion is public (i.e., contains only public constants), the word public will appear to the left of the assertion ID.

Assertion Details

Operations on Assertions

There are a number of different operations involving assertions:

For more information about assertions and their properties (e.g., truth value), read the Syntax of CycL.


Go to Top