About: type of thing     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Class, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

AttributesValues
rdf:type
rdfs:subClassOf
rdfs:isDefinedBy
skos:prefLabel
  • type of thing (en)
skos:altLabel
  • collection (en)
  • collections (en)
  • inventory (en)
  • kind (en)
  • kind of thing (en)
  • kind of things (en)
  • kinds (en)
  • kinds of thing (en)
  • kinds of things (en)
  • museum collection (en)
  • sort (en)
  • sorts (en)
  • type (en)
  • type of things (en)
  • types (en)
  • types of thing (en)
  • types of things (en)
skos:definition
  • A specialization of SetOrCollection (q.v.). This is the collection of all collections of things. Each Collection is a kind or type of thing whose instances share a certain property, attribute, or feature. For example, Cat is the collection of all and only cats, and BinaryFunction is the collection of all and only functions taking two arguments. The notion of collection is fundamental to the Cyc ontology, and is thus difficult to define in a precise and substantive way. But it is instructive to compare it to the mathematical notion of a set (see Set_Mathematical). Like a set, a collection is an AbstractThing (i.e. aspatial and atemporal) that is not an Individual (cf.), but instead has elements (see elementOf). Unlike a set, however, the elements or "instances" (see isa) of a given collection can vary from context to context, and it is possible for distinct collections to have exactly the same elements (i.e. to have the same extent) with respect to a given context. For example, the (non-reified) collections "Chordate" and "Renate" are co-extensional in the context of the present-day actual world, but have differring extents with respect to hypothetical contexts in which there exist creatures having hearts but not kidneys. This difference is sometimes summarized by saying that sets are "extensional" things and collections are "intensional" things. Many, though by no means all, of the collections reified in the Cyc ontology correspond to natural kinds or classes. It is particulary useful to reify collections that are difficult to define precisely, but about which there are many common-sense rules and other things to state. For example, it would not be worthwile to introduce a constant 'WhiteCat', both because it's easy to define the collection of white cats in terms of more general, already-reified notions (e.g. '(CollectionIntersection2Fn Cat WhiteColor)'), and because there's not much to say about that particular collection. WhiteCollarWorker, on the other hand, is a good collection to have reified, as it is hard to define precisely, yet is a collection about which there are many things to say. Some of the many reified specializations of Collection are FirstOrderCollection, TimeDependentCollection, and ObjectType. (en)
kko:superClassOf
is rdfs:subClassOf of
is equivalentClass of
is kko:superClassOf of
is KBpedia ID of
is psn:P8408 of
Faceted Search & Find service v1.16.116 as of Feb 13 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3239 as of Feb 13 2024, on Linux (x86_64-generic_glibc25-linux-gnu), Single-Server Edition (378 GB total memory, 255 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software