]> 2009/04/07 OpenCyc Knowledge Base Copyright© 2001-2009 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA This file contains an OWL representation of information contained in the OpenCyc Knowledge Base. The content of this OWL file is licensed under the Creative Commons Attribution 3.0 license whose text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. The content of this OWL file, including the OpenCyc content it represents, constitutes the "Work" referred to in the Creative Commons license. The terms of this license equally apply to, without limitation, renamings and other logically equivalent reformulations of the content of this OWL file (or portions thereof) in any natural or formal language, as well as to derivations of this content or inclusion of it in other ontologies. Mappings between OpenCyc terms and Wikipedia article names provided by Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative Commons Attribution 3.0 license. externalID A unique, language-neutral, variable-sized identifier for a concept that can be used to refer unambiguously to that concept across OWL exports or across Cyc inference engines. label A natural-language representation for a concept that is both human readable and readable by the Cyc inference engine. These terms are not guaranteed to refer to the same concept across time but are guaranteed to be consistent within a particular OWL export. Use 'cycAnnot:externalID' for unambiguously referring to a concept across OWL exports or across Cyc inference engines. light thing Lit Mx4rOzwxzGKmEdqAAAACs71DGQ The collection of tangible objects or regions that are illumiated to some level beyond <a href="http://sw.opencyc.org/2009/04/07/concept/en/LitTooDarkForSeeing" class="cyc_term">LitTooDarkForSeeing</a>. See also <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightSource" class="cyc_term">ObjectTypeByLightSource</a> for facetings of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a> based on source of illumination, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightIntensity" class="cyc_term">ObjectTypeByLightIntensity</a>, most instances of which are specializations of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a>, organized by intensity (brightness). lit litter lighter light littest lightest An instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightSource" class="cyc_term">ObjectTypeByLightSource</a>. Instances are illuminated tangibles whose source of illumination is the flame of a candle. Candlelit candlelit (CollectionUnionFn (TheSet LitBrightEnoughForSeeing LitAtVeryBrightLightIntensity)) the union of { bright enough for seeing, bright thing } bright thing LitAtVeryBrightLightIntensity sunlit thing Sunlit The collection of all tangible things that are illuminated (<a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a>) and whose source of illumination is an instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Sun" class="cyc_term">Sun</a>. In <a href="http://sw.opencyc.org/2009/04/07/concept/en/AmbientConditionsMt" class="cyc_term">AmbientConditionsMt</a>, that instance is our sun (<a href="http://sw.opencyc.org/2009/04/07/concept/en/TheSun" class="cyc_term">TheSun</a>). The typical illumination level range of spaces inside houses. lit at indoor illumination level LitAtIndoorIlluminationLevel light thing Lit The collection of tangible objects or regions that are illumiated to some level beyond <a href="http://sw.opencyc.org/2009/04/07/concept/en/LitTooDarkForSeeing" class="cyc_term">LitTooDarkForSeeing</a>. See also <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightSource" class="cyc_term">ObjectTypeByLightSource</a> for facetings of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a> based on source of illumination, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightIntensity" class="cyc_term">ObjectTypeByLightIntensity</a>, most instances of which are specializations of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a>, organized by intensity (brightness). A <a href="http://sw.opencyc.org/2009/04/07/concept/en/TaxonomicSlotForCollections" class="cyc_term">TaxonomicSlotForCollections</a> and a specialization (via <a href="http://sw.opencyc.org/2009/04/07/concept/en/genlInverse" class="cyc_term">genlInverse</a>) of <a href="http://sw.opencyc.org/2009/04/07/concept/en/typeGenls" class="cyc_term">typeGenls</a> (q.v.). This is the most general of the &quot;faceting&quot; predicates. <code>(<a href="http://sw.opencyc.org/2009/04/07/concept/en/facets_Generic" class="cyc_term">facets_Generic</a> <b>COL</b> <b>COLTYPE</b>)</code> means that <code><b>COLTYPE</b></code> corresponds to one way of dividing <code><b>COL</b></code> into subcollections. The instances of <code><b>COLTYPE</b></code> are all &quot;the same sort&quot; of subcollection of <code><b>COL</b></code>. For example, <a href="http://sw.opencyc.org/2009/04/07/concept/en/MovieTypeByGenre" class="cyc_term">MovieTypeByGenre</a> facets <a href="http://sw.opencyc.org/2009/04/07/concept/en/Movie_CW" class="cyc_term">Movie_CW</a> according to movie-genre; the former's instances thus include such collections as <a href="http://sw.opencyc.org/2009/04/07/concept/en/WesternMovie" class="cyc_term">WesternMovie</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/HorrorMovie" class="cyc_term">HorrorMovie</a>. And <a href="http://sw.opencyc.org/2009/04/07/concept/en/FunctionTypeByRangeType" class="cyc_term">FunctionTypeByRangeType</a> facets <a href="http://sw.opencyc.org/2009/04/07/concept/en/Function_Denotational" class="cyc_term">Function_Denotational</a> according to the type of thing a given function returns as values; the former's instances thus include such collections as <a href="http://sw.opencyc.org/2009/04/07/concept/en/IndividualDenotingFunction" class="cyc_term">IndividualDenotingFunction</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/CollectionDenotingFunction" class="cyc_term">CollectionDenotingFunction</a>. <p/> Note that generic faceting does not entail that the instances of <code><b>COLTYPE</b></code> are mutually disjoint. Thus, a given film might be an instance of <i>both</i> <a href="http://sw.opencyc.org/2009/04/07/concept/en/ChildrensMovie" class="cyc_term">ChildrensMovie</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/ActionMovie" class="cyc_term">ActionMovie</a>. <p/> Note also that generic faceting does not entail that every instance of <code><b>COL</b></code> falls under some instance of <code><b>COLTYPE</b></code>. Thus, consider the universal identity function <a href="http://sw.opencyc.org/2009/04/07/concept/en/IdentityFn" class="cyc_term">IdentityFn</a>. Its range of values is so broad that it does not fall under any instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/FunctionTypeByRangeType" class="cyc_term">FunctionTypeByRangeType</a>. <p/> Specializations of <a href="http://sw.opencyc.org/2009/04/07/concept/en/facets_Generic" class="cyc_term">facets_Generic</a> include <a href="http://sw.opencyc.org/2009/04/07/concept/en/facets_Covering" class="cyc_term">facets_Covering</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/facets_Strict" class="cyc_term">facets_Strict</a>, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/facets_Partition" class="cyc_term">facets_Partition</a>, as well as <a href="http://sw.opencyc.org/2009/04/07/concept/en/facets_NearCovering" class="cyc_term">facets_NearCovering</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/facets_NearStrict" class="cyc_term">facets_NearStrict</a>, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/facets_NearPartition" class="cyc_term">facets_NearPartition</a>. Whenever possible, one of these more specific predicates should be used. facets-Generic Facets-Generic light thing Lit The collection of tangible objects or regions that are illumiated to some level beyond <a href="http://sw.opencyc.org/2009/04/07/concept/en/LitTooDarkForSeeing" class="cyc_term">LitTooDarkForSeeing</a>. See also <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightSource" class="cyc_term">ObjectTypeByLightSource</a> for facetings of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a> based on source of illumination, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightIntensity" class="cyc_term">ObjectTypeByLightIntensity</a>, most instances of which are specializations of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a>, organized by intensity (brightness). existence dependent collection A specialization of both <a href="http://sw.opencyc.org/2009/04/07/concept/en/TimeDependentCollection" class="cyc_term">TimeDependentCollection</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/FirstOrderCollection" class="cyc_term">FirstOrderCollection</a> (qq.v.). This is the collection of all first-order collections of which something can be an instance only while that thing exists. Note that a given instance of such a collection might or might not be an instance of same for its entire existence. ExistenceDependentCollection prettyString Pretty String (<a href="http://sw.opencyc.org/2009/04/07/concept/en/prettyString" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2009/04/07/concept/en/prettyString" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. A collection of collections. Each specialization of this collection is a collection of collections of objects characterized by some sensible feature. For example, <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByTaste" class="cyc_term">ObjectTypeByTaste</a> is the collection of collections of objects characterized by their taste. It includes the collection of salty things, sweet things, etc. sensory information ObjectTypeBySensibleFeature A subcollection of <a href="http://sw.opencyc.org/2009/04/07/concept/en/EnduringThing_Localized" class="cyc_term">EnduringThing_Localized</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/TemporalThing" class="cyc_term">TemporalThing</a>. Each instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/PartiallyTangible" class="cyc_term">PartiallyTangible</a> has a tangible (i.e. material) part and a temporal extent (i.e. it exists in time). It might or might not also have an intangible part. For example, a particular copy of a book is made of matter, has temporal extent, and also has an intangible part: the information content of the text markings on its pages. PartiallyTangible tangible thing PartiallyTangibleTypeByPhysicalFeature physical property A <a href="http://sw.opencyc.org/2009/04/07/concept/en/FacetingCollectionType" class="cyc_term">FacetingCollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/PartiallyTangibleTypeByPhysicalFeature" class="cyc_term">PartiallyTangibleTypeByPhysicalFeature</a> is a collection of individuals who all share a particular physical property. For example <a href="http://sw.opencyc.org/2009/04/07/concept/en/RhNegative" class="cyc_term">RhNegative</a> is the collection of instances of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Blood" class="cyc_term">Blood</a> such that each is blood that is of type rh-negative. This collection represents the property &quot;being blood type rh-negative&quot; and something has that property just in case they are an instance of that collection. Note: these collections represent properties that things have or lack in a relatively absolute sense. For physical properties that admit of dense degress (e.g. <a href="http://sw.opencyc.org/2009/04/07/concept/en/Flammability" class="cyc_term">Flammability</a> -- although something can be flammable in an absolute sense it is by virtue of having a particular degree of flammability.) see <a href="http://sw.opencyc.org/2009/04/07/concept/en/PhysicalQuantity" class="cyc_term">PhysicalQuantity</a>. An instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/FacetingCollectionType" class="cyc_term">FacetingCollectionType</a> that facets <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a>, the collection of all illuminated tangibles (see <a href="http://sw.opencyc.org/2009/04/07/concept/en/PartiallyTangible" class="cyc_term">PartiallyTangible</a>). Each instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightSource" class="cyc_term">ObjectTypeByLightSource</a> is a collection of illuminated things whose instances all, intuitively, share a common source of illumination. For example, <a href="http://sw.opencyc.org/2009/04/07/concept/en/Candlelit" class="cyc_term">Candlelit</a> is the collection of all things whose source of illumination is the flame of a candle. object type by light source ObjectTypeByLightSource light thing Lit The collection of tangible objects or regions that are illumiated to some level beyond <a href="http://sw.opencyc.org/2009/04/07/concept/en/LitTooDarkForSeeing" class="cyc_term">LitTooDarkForSeeing</a>. See also <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightSource" class="cyc_term">ObjectTypeByLightSource</a> for facetings of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a> based on source of illumination, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightIntensity" class="cyc_term">ObjectTypeByLightIntensity</a>, most instances of which are specializations of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a>, organized by intensity (brightness). TemporalThing A specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Individual" class="cyc_term">Individual</a>. This is the collection of all things that have temporal extent or location -- things about which one might sensibly ask &quot;<i>When?</i>&quot;. <a href="http://sw.opencyc.org/2009/04/07/concept/en/TemporalThing" class="cyc_term">TemporalThing</a> thus contains many kinds of things, including events, physical objects, agreements, and pure intervals of time. Major specializations of this collection are <a href="http://sw.opencyc.org/2009/04/07/concept/en/SomethingExisting" class="cyc_term">SomethingExisting</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/Situation" class="cyc_term">Situation</a>, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/TimeInterval" class="cyc_term">TimeInterval</a> (qq.v.). <p/> Things that are timeless -- such as mathematical sets, <a href="http://sw.opencyc.org/2009/04/07/concept/en/Collection" class="cyc_term">Collection</a>s, and numbers -- are of course <i>not</i> instances of <a href="http://sw.opencyc.org/2009/04/07/concept/en/TemporalThing" class="cyc_term">TemporalThing</a> (cf. <a href="http://sw.opencyc.org/2009/04/07/concept/en/AtemporalThing" class="cyc_term">AtemporalThing</a>). thing that exists in time light thing Lit The collection of tangible objects or regions that are illumiated to some level beyond <a href="http://sw.opencyc.org/2009/04/07/concept/en/LitTooDarkForSeeing" class="cyc_term">LitTooDarkForSeeing</a>. See also <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightSource" class="cyc_term">ObjectTypeByLightSource</a> for facetings of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a> based on source of illumination, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectTypeByLightIntensity" class="cyc_term">ObjectTypeByLightIntensity</a>, most instances of which are specializations of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Lit" class="cyc_term">Lit</a>, organized by intensity (brightness).