Not logged in : Login |
A specialization of TimeDependentCollection (q.v.). This is the collection of all and only those collections COL such that any thing's being an instance of COL depends on the current state of the CycKB. Such a COL corresponds to a property defined (at least partly) in terms of the contents, features, or implementation of the Cyc Knowledge Base itself, as opposed to a property that "exists out there" in the KB-independent world. For example, CycLAssertion is a KB-dependent collection, membership in which requires of a given CycL sentence that it has in fact been asserted to the KB. CycLSentence is also KB-dependent, as being a CycL sentence requires being composed (ultimately) out of CycLReifiedDenotationalTerms (and perhaps variables) -- i.e. terms that are currently reified in the KB. Conversely, Sentence is not a KB-dependent collection. See also KBDependentRelation.
Attributes | Values |
---|---|
primary topic | |
comment |
|
label |
|
label |
|
type | |
is type of |
|