“Query” has been used to mean a lot of different things with regard to Cyc. Depending on context, it could mean one of:
- A CycL sentence intended to be asked, aka a query sentence.
- A CycL sentence, Mt, and list of inference parameters that are passed to the Cyc Inference Engine via a SubL function like
new-cyc-query. - A Cyc constant storing a CycL query sentence, Mt, and list of inference parameters. Such constants are instances of
#$CycLQuerySpecification.