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.