by cycorpinc | Apr 12, 2021
A structured knowledge source (SKS) is a body of data that can be accessed via SKSI. Examples include databases, triple stores, and APIs.
by cycorpinc | Apr 12, 2021
A subject matter expert or SME (pronounced “smee”) is, in military parlance, an expert in some kind of field. At Cycorp, the term also means someone who is not a Cyclist that we are working with to get knowledge in a specific area into Cyc. Sometimes the...
by cycorpinc | Apr 12, 2021
SubL, aka SubLisp, is a variant of Common Lisp created by Cycorp, and is the computer language of the Cyc codebase. Originally, Cyc’s code was written in Common Lisp that ran on Lisp machines like those made by Symbolics. To make it straightforward to translate...
by cycorpinc | Apr 12, 2021
SubL atomic terms, represented in the Cyc Knowledge Base by #$SubLAtomicTerm, are atomic terms that are not represented terms in CycL. Rather, they are represented in SubL, the underlying implementation language of the Cyc system. “Atomic” here means not...
by cycorpinc | Apr 12, 2021
A support is either an assertion or an HL support. They often appear in justifications, which are lists of supports.
