by cycorpinc | Apr 12, 2021
The Cyc Inference Engine is an implementation of the Inference Algorithm, which tries to prove closed CycL sentences, and tries to find bindings for open variables in CycL sentences if they are present. These training modules give more information about the Inference...
by cycorpinc | Apr 12, 2021
A Cyc instance (also sometimes referred to as a Cyc image) is a running copy of the Cyc program. Most Cyclists doing development on the Cyc KB run one or more Cyc instances on their computers, letting them interact with Cyc.
by cycorpinc | Apr 12, 2021
The Cyc Knowledge Base (the KB) is a store of information, which consists of a large number of terms and an even larger number of assertions composed of those terms. Cyc constants are the most typical type of term, but other things, like strings and numbers (and even...
by cycorpinc | Apr 12, 2021
A CycL sentence, represented in the Cyc Knowledge Base by #$CycLSentence, is a type of CycL formula that constitutes a syntactically well-formed sentence in the CycL language. Every CycL sentence consists of a CycL expression denoting an instance...
by cycorpinc | Apr 12, 2021
A Cyclist is someone, such as a Cycorp employee or Cyc licensee, who uses and interacts with Cyc. [restrict level=”employee”] [Content for Cycorp Employees Only] [/restrict]
