by cycorpinc | Apr 12, 2021
The scope of a quantifier is the range in which its corresponding variable is bound. It begins with the left parenthesis which precedes the quantifier, and ends with the matching right parenthesis.
by cycorpinc | Apr 12, 2021
Semantic Knowledge Source Integration (SKSI) is a means of extending the Cyc KB by allowing information from structured knowledge sources — databases, triple stores, APIs — to be hooked into Cyc as if they were “external” assertions and used just like...
by cycorpinc | Apr 12, 2021
The Sentence Editor is an input device appearing in several tools in the Cyc Browser: Tools used to find, assert or edit assertions such as Find Assertion, Assert Sentence, Assert Similar, and Edit Assertion, as well as the Query Tool all have a Sentence Editor box....
by cycorpinc | Apr 12, 2021
The Simplifier is a part of the Canonicalization Subsystem that performs very fast, mostly syntactic simplification of CycL sentences.
by cycorpinc | Apr 12, 2021
Skolem functions are CycL functions which are used in the implementation of formulas that use existential quantification. They are instances of #$ReifiableFunction, and are automatically generated. Whenever someone asserts to the Knowledge Base a sentence that...
