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