OpenCyc.org HomepageLiteral 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:

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