## Public Assertions Help

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

Public constants are those constants which are part of the Upper CYC® Ontology. All public constants should have the marker "PUBLIC" when their Definitional Info is displayed in the KB Browser, and all should be elements of the collection #$PublicConstant in the #$BaseKB.

Public assertions are those assertions which contain only public constants. The "Public Assertions(?)" link in the Term Index for a given constant computes and displays the public assertions which involve that constant. The "?" is used because the public assertions for a constant are not computed ahead of time.

See the Key for Icons in the Browser for an explanation of icons used in this section.

Go to Top