Key for Browser Icons

Icons used as assertion links:

: False assertion

: Monotonically true GAF
: Asserted default true GAF
: Deduced default true GAF
: Redundant default true GAF (both deduced and asserted)
: Assertion with unknown truth

: Forward rule
: Backward rule

: Assertion implemented in code

M : Assertion has meta-assertions stated about it. Click on the icon link (colored ball) to display the assertion and see a list of the meta-assertions.

: A CycL sentence which is not an assertion.

Icons in the Term Index:

: Hierarchically browse constants, starting with the displayed constant.

: Browse and manipulate specs of displayed constant by type of specialization.

: Displays the WordNet synset of the displayed constant.

: Alphabetically browse constants, starting with the displayed constant.

+ : Ask CYC® to compute more GAFs of this type, using the Literal Query tool.

: CYC® already has assertions asserted and indexed like this.
: CYC® has HL methods available which make it VERY likely an answer can be calculated.
: It's possible but unlikely that a value can be calculated.
No + : There's no way for CYC® to conclude this relation.

Help Icons:

: Help page for the currently displayed frame.

Go to Top