Constant Information Display Help
E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1997-2002 Cycorp. All rights reserved.
The Constant Information Display provides a Heuristic Level (HL) description of the selected constant. This page will be of most use to CYC® System developers; for other users, most of the information on this page can be accessed by using the links from the Term Index panel in the KB Browser.
The different display categories:
ID Number: shows the unique constant ID number for the given constant.
Name: shows as a string the name of the constant being described.
Type List: lists the constant "type", based on the following list:
- :predicate
- :collection
- :non-predicate-function
- :attribute
- :microtheory
- :generic (the miscellaneous case)
These types are computed from the #$isa assertions about the term in various microtheories and cached here for easy access. The canonicalizer uses the constant type to determine well-formedness and remove ambiguity.
Isa Links: lists #$Collections of which the constant is an element, organized by #$Microtheory.
Genl Links: lists supersets of the given constant, organized by #$Microtheory.
MDW Links: lists #$Collections with which the given constant is disjoint (#$disjointWith).
Spec Links: lists subsets of the given constant, organized by #$Microtheory.
Index: points to all the indexing involved in going from a term
to all the assertions about that term. There are two types of indexes:
- Simple: a simple list of all assertions about the term. This is a compressed, simplified indexing recently added to the CYC® System.
- Complex: an index structure which gets printed like: #.
This is an old, full indexing that has been in use throughout Cyc-10.
Only terms with a lot of assertions still use this indexing.
Note: Isa, Genl, MDW, and Spec Links are a terse representation of the various SBHL hierarchies that an object can be in, and are computed from ALL the
assertions about the given term (not just local ones). Values on the lists of Isa, Genl, MDW, and Spec Links are marked as follows: "+" for true links based on local assertions; "-" for links that are explicitly denied by local assertions; and "|" for links, positive or negative, that are inferred rather than asserted locally. Redundant assertions are not reflected in these HL datastructures.
A value of NIL for any of the categories means that no values were found for that category.
Go to Top