by cycorpinc | Apr 12, 2021
The KB Browser, also sometimes referred to as the “Cyc Browser”, is the current suite of tools that expert Cyc users use to interact with the Cyc Knowledge Base. It offers various ways of examining KB content and supporting data structures, tools for...
by cycorpinc | Apr 12, 2021
A KB content test (KBCT or KCT) is a unit test of the Cyc inference engine. Creating KCTs Start a Cyc instance. In the browser, at the top of the page click [Query]. In the query sentence box, type a query sentence. Click [Ask Query]. Click [Save as Test]. In the Test...
by cycorpinc | Apr 12, 2021
A knowledge base is a repository of knowledge. See also Cyc Knowledge Base
by cycorpinc | Apr 12, 2021
Lexical assertions are those assertions that relate a Cyc term to words and phrases in some language that can be used to refer to the concept denoted by the Cyc term. For example, the assertion corresponding to this CycL sentence states that the thing denoted...
by cycorpinc | Apr 12, 2021
A lifting rule is a rule with an #$ist (or #$liftTo) in the arg 0 position of the consequent literal. The purpose is to overrule the Mt placement of the conclusion with placement into another Mt, maybe found via some combination of antecedent literals.
