: 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.
+ : 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.