by cycorpinc | Apr 12, 2021
When asking a query in Cyc, the query sentence is the CycL sentence that Cyc attempts to prove true or for whose open variables it attempts to find bindings.
by cycorpinc | Apr 12, 2021
The Query Tool is a tool in the Cyc KB Browser that is a user’s main interface to the Cyc Inference Engine. It lets the user ask a query in the form of a CycL sentence, and displays any answers that are found.
by cycorpinc | Apr 12, 2021
Reification in Cyc is the process by which we create a Cyc FORT corresponding to a particular concept. Or, to put it another way, reification is the process of adding a term that denotes a particular concept to the Cyc Knowledge Base. Every reified term in Cyc...
by cycorpinc | Apr 12, 2021
In Cyc, “relation” (see #$Relation) is used to refer to predicates and functions. In the math and database worlds, a relation is a set of ordered n-tuples. One might talk about the relation “Father”, whose elements include (Katherine, Lloyd),...
by cycorpinc | Apr 12, 2021
Removal refers to the process of solving a problem or subproblem via a removal module. Removal always strictly simplifies the problem, by providing bindings for an open problem or by proving or failing to prove a closed problem. Contrast this with transformation,...
