## Literal Query Help

E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1997-2002 Cycorp. All rights reserved.

The Term Index lists only a limited number of GAFs that involve a given constant, primarily those GAFs which were asserted locally (e.g., entered by a human user). To compute more GAFs of a given type, click on the "plus" symbol next to the desired relation. This will activate the Literal Query tool.

### Literal Queries

The Literal Query tool asks CYC® to try and compute (via HL modules and other means) more GAFs of the specified type; the results are displayed as follows:

- "Last query" specifies which atomic formula (in which #$Microtheory) is being expanded upon.
- "Bindings" specifies over which argument the computation is taking place (this should match the variable in the query), and displays every possible binding for that argument.

For example, suppose #$Agent is displayed in the KB Browser. Clicking on the "genls" link in the Term Index under "Arg 1" will list only locally asserted supersets of #$Agent. We can produce a list of all supersets of #$Agent by clicking on the green "plus" symbol next to "genls" in the Term Index; this should produce the following Literal Query:

      Last query in BaseKB :
      (genls Agent ?ARG2)

      Bindings for ?ARG2 :
      Agent   CompositeTangibleAndIntangibleObject
      PartiallyIntangible   PartiallyTangible   SomethingExisting
      TemporalThing   SpatialThing   Individual   Thing

      Examine the inference tree ...

The meaning of which is that #$Agent has #$PartiallyTangible, #$SpatialThing, etc. as supersets.

"Examine the inference tree" is a link to the Inference Tree Examiner, which provides a detailed look at the inferencing performed during the search.

Go to Top