by cycorpinc | Apr 12, 2021
Generalization refers to the #$genls predicate. A is said to generalize B iff (genls B A). The inverse relation is referred to as specification.
by cycorpinc | Apr 12, 2021
A ground atomic formula or GAF (rhymes with “staff”) is a Cyc formula of the form (predicate arg1 [arg2 …argn]), where the arguments are all terms of any kind, but not variables. For example: (likesAsFriend ThomasJefferson JohnAdams) (eats...
by cycorpinc | Apr 12, 2021
A ground expression is an expression which contains no variables.
by cycorpinc | Apr 12, 2021
A globally unique identifier (GUID) or universally unique identifier (UUID) is a 128-bit number that permanently identifies a data object in the KB. Global means that the GUID is the same across all Cyc instances. Unique means that the GUID refers to exactly one data...
by cycorpinc | Apr 12, 2021
Heuristic level (HL) refers to the way knowledge is actually stored, and implemented, in Cyc. This stands in contrast to the epistemological level (EL), which refers to the way knowledge is expressed when Cyc communicates with users or external programs. The use of HL...
