This concept’s semantic web URI is: [
http://sw.cyc.com/2006/07/27/cyc/CollectionClosedUnderSpecialization
]
<< SEARCH ALL CONCEPTS
VIEW A RANDOM CONCEPT >>
Collection closed under specialization
Unique Tag: [
CollectionClosedUnderSpecialization
]
A collection of collections. Every instance of
collection closed under specialization
is a collection
COLL-TYPE
with the following property: If the collection
COLL
is an instance of
COLL-TYPE
, then for any specialization
SPEC
of
COLL
,
SPEC
is also an instance of
COLL-TYPE
. Notable examples include
type of temporally stuff-like thing
,
type of thing
, and
thing
.
More General:
Type of thing
Collection closed under specialization
is an Example of:
Type of collection
Variable-order Cyc collection
Examples of
Collection closed under specialization
Include:
First-order Cyc collection
Fixed-order Cyc collection
Fourth-order Cyc collection
Predicate category
Second-order Cyc collection
Thing
Third-order Cyc collection
Type of collection
Type of collection type
Type of function
Type of microtheory
Type of object
Type of relationship
Type of thing
Click Here to Add a Comment
COLL-TYPEwith the following property: If the collectionCOLLis an instance ofCOLL-TYPE, then for any specializationSPECofCOLL,SPECis also an instance ofCOLL-TYPE. Notable examples include type of temporally stuff-like thing, type of thing, and thing.