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.
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.