## Documentation Vocabulary

E-Mail Comments to: opencyc-doc@cyc.com
Last Update: 12/13/02
Copyright© 1996-2002. All rights reserved. See Terms of Usage.

Return to Documentation Contents
Return to Vocabulary Contents

Documentation predicates annotate Cyc constants for the benefit of users examining the Cyc KB. In general, assertions involving documentation predicates have no bearing on Cyc's inference -- they are simply for people to read and consult.

#$comment comment (distributing meta knowledge predicate) (vocabulary defining predicate) (default monotonic predicate)

> A #$DocumentationPredicate (q.v.) that is used to relate a #$CycLIndexedTerm (usually a #$CycLConstant) to a #$SubLString containing an English explanation of the term's meaning and use, as an aid to humans (whether #$Cyclists or not) browsing the Cyc Knowledge Base. (#$comment TERM STRING) means that STRING is a piece of Cyc documentation that explains the meaning and use of TERM. For example, the passage you are reading now is the comment for the CycL constant `#$comment'. See also #$cyclistNotes.
> guid: bd588109-9c29-11b1-9dad-c379636f7270
> direct instance of: #$OpenCycDefinitionalPredicate #$DefinitionalPredicate #$DefaultMonotonicPredicate #$DistributingMetaKnowledgePredicate #$BinaryPredicate

#$sharedNotes shared notes

> A predicate-denoting constant that is an instance of #$DocumentationPredicate. It is sometimes useful to include the same piece of text in the documentation of two or more constants or other #$CycLIndexedTerms. Rather than actually duplicating text in the Knowledge Base, one can create a #$SharedNote (q.v.): a piece of text that is to serve as this shared documentation, and which is itself the comment (see #$comment) on the #$SharedNote's constant. (Thus the constants for shared-notes actually denote their own comments.) (#$sharedNotes TERM NOTE) means that NOTE is a string of text (see #$TextString) serving as shared documentation partly about TERM. Since #$SharedNotes are typically _shared_, there are likely to be one or more other indexed terms having NOTE as their shared-note as well.
> guid: c0fb9be2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$OpenCycDefinitionalPredicate #$DistributingMetaKnowledgePredicate #$BinaryPredicate

#$salientAssertions salient assertions

> (#$salientAssertions TERM ASSERTION) means that ASSERTION has been deemed one of the assertions most useful to examine when one is trying to figure out the intended meaning of TERM. Thus, ASSERTION will normally contain TERM, and should be something that has been asserted on its own in the KB as well. Statements using #$salientAssertions are primarily intended for human consumption, and are not normally used by the Cyc inference engine.
> guid: bd5db814-9c29-11b1-9dad-c379636f7270
> direct instance of: #$DistributingMetaKnowledgePredicate #$BinaryPredicate

#$cyclistNotes cyclist notes

> The structure of human insulin is at http://biotech.icmb.utexas.edu/images/dict/insulin.gif while other mammals may produce different chemical species.
> guid: bd588108-9c29-11b1-9dad-c379636f7270
> direct instance of: #$DefinitionalPredicate #$DistributingMetaKnowledgePredicate #$BinaryPredicate

#$englishGloss english gloss **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> To be used to refer to the manual english rendering of an assertion or perhaps a constant but see also #$denotation. #$englishGloss assertions may be used to enhance or supplement automatic nl generation results, serve as a training data set for a program which learns to generate NL from CycL, etc.. This predicate should not be used for commentary. For commentary see #$comment or #$cyclistNotes.
> guid: bd5c7466-9c29-11b1-9dad-c379636f7270
> direct instance of: #$NLPredicate #$FunctionalSlot #$MetaKnowledgePredicate

#$myCreator my creator **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$myCreator X Y) means that Y is the constant representing the person who introduced the constant X into the Cyc vocabulary. In general, the editing interfaces to the Cyc KB only allow the KB to be modified when an instance of #$Cyclist is designated as the author of the changes. See also #$sourceOfTerm-Person.
> guid: bd58810b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$DefaultMonotonicPredicate #$BookkeepingPredicate #$StrictlyFunctionalSlot #$MetaKnowledgePredicate

#$myCreationTime my creation time

> (#$myCreationTime CONSTANT TIME) means that the #$CycLConstant CONSTANT was created at TIME, an instance of #$CycUniversalDate. The format of TIME is YYYYMMDD; that is, the first four digits give the year in which the constant was created, the next two digits give the month in which it was created, and the final two digits give the day of the month on which it was created. For example, 19910309 is March 9, 1991.
> guid: bd588107-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BookkeepingPredicate #$StrictlyFunctionalSlot #$MetaKnowledgePredicate

#$futureAssertion future assertion **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$futureAssertion ARG1 TEXT PSEUDO_CYCL) is used to associate a Cyc thing (ARG1) with some proposition which should be formalized in CycL and added to the kb when the required representational vocabulary is available. TEXT is a #$SubLString expressing the proposition in standard English, as clearly as possible. PSEUDO_CYCL is a pseudo-CycL expression of the proposition, in CycL syntax and using strings to denote units which may not exist (or were not known to the author) at the time of entry. The PSEUDO_CYCL will often be left NIL.
> guid: bd588498-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TernaryPredicate

#$oldConstantName old constant name

> This bookkeeping predicate relates a CycL constant to a former name of that constant. More accurately, (#$oldConstantName CONSTANT STRING) means that the underlying data structure currently associated with the CycL expression CONSTANT was formerly associated instead with the SubL string STRING. If CONSTANT has undergone multiple renames , STRING will normally be its most recent former name . While #$oldConstantName sentences can be asserted and edited by hand, they are asserted automatically when a Rename is done in the Knowledge Base.
> guid: bd6422c8-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BookkeepingPredicate #$BinaryPredicate #$MetaKnowledgePredicate

#$SharedNote shared note

> A subcollection of #$DocumentationConstant. Shared notes are pieces of documentation stored in the Cyc Knowledge Base in which two or more CycL terms (usually constants) are discussed together. They are used in cases where such joint-documentation is deemed more effective or efficient than including the same information in a separate comment or cyclist-note for each of the relevant terms would be. To be precise: each instance of #$SharedNote is a piece of text (see #$TextString) in which two or more #$CycLIndexedTerms are discussed; this text is given as the comment (see #$comment) on the #$SharedNote's constant. The predicate #$sharedNotes (q.v.) is used to relate terms to their respective shared-notes.
> guid: c0fb9bb4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ObjectType
> direct specialization of: #$TextString

#$PublicConstant publicly-released Cyc constants **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of CycL constants that are included in the public release of Cyc, OpenCyc. Instances of #$PublicConstant include all constants that denote things in the so-called Upper Cyc Ontology, along with some constants that denote things in the Middle and Lower Cyc Ontologies.
> guid: bd7abd90-9c29-11b1-9dad-c379636f7270
> direct instance of: #$VariableOrderCollection
> direct specialization of:
> direct generalization of: #$CoreUnionConstant

#$ProprietaryConstant proprietary constant **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Instances of #$ProprietaryConstant and any assertions involving them will be omitted from non-proprietary KBs and will not displayed in non-proprietary applications. One should create a spec of #$ProprietaryConstant for each includable/excludable proprietary KB module. #$ProprietaryConstant should have no direct instances.
> guid: c10ada4d-9c29-11b1-9dad-c379636f7270
> direct instance of: #$VariableOrderCollection
> direct specialization of: #$Thing

Copyright© 1996-2002. All rights reserved. See Terms of Usage.