]> 2008/06/10 OpenCyc Knowledge Base Copyright© 2001-2008 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. 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. ExistenceDependentCollection existence dependent collection A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" 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. ExistenceDependentTerminalCollection existence dependent terminal collection A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhs-b2JX9QdeBCoQPSBEw0w" class="cyc_term">ExistenceDependentCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_6HdOlV3QdeI9PHEy04DkQ" class="cyc_term">NonInitialCollection</a> (qq.v.). Each instance EDTC of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rUQ4fFJX-QdeILOlR_nDRRA" class="cyc_term">ExistenceDependentTerminalCollection</a> is a collection such that: (i) a thing can be an instance of EDTC only while the thing exists, (ii) once a thing becomes an instance of EDTC it necessarily remains so until the end of the thing's existence, (iii) nothing can be an instance of EDTC for its entire existence. It follows from these conditions that (iv) nothing starts out as an instance of EDTC and (v) any instance of EDTC ceases to be such when it ceases to exist. An example of an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rUQ4fFJX-QdeILOlR_nDRRA" class="cyc_term">ExistenceDependentTerminalCollection</a> is (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1KhZwpEbGdrcN5Y29ycA" class="cyc_term">GraduateFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwUHx0JwpEbGdrcN5Y29ycA" class="cyc_term">College</a>), the collection of college graduates. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjIUKDpX9QdeS6ObcIcpyYA" class="cyc_term">ExistenceDependentInitialCollection</a>. A second-order collection and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkoD4DnStEdaAAACgyZzFrg" class="cyc_term">PartiallyTangibleTypeByPhysicalFeature</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3gmjSHStEdaAAACgyZzFrg" class="cyc_term">ObjectTypeBySurfaceFeature</a> is a collection of objects that share a particular surface feature. Thus, these collections represent various surface properties of objects. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtJLx3nS-EdaAAACgyZzFrg" class="cyc_term">Slippery</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4reeR5jnS7EdaAAACgyZzFrg" class="cyc_term">Paved</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruYPs4nS6EdaAAACgyZzFrg" class="cyc_term">Imprinted</a>. To state that an object has a particular surface feature, use <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBBYERH8AEdaAAAABAjVgzA" class="cyc_term">surfaceFeatureOfObject</a>. To state that the surface itself is of a certain sort, use <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rB4zL6H8BEdaAAAABAjVgzA" class="cyc_term">surfaceFeatureOfSurface</a>. surface attribute ObjectTypeBySurfaceFeature VisibleFeatureType visible feature existence dependent intermittent collection ExistenceDependentIntermittentCollection A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra0kFdJX-QdebR5OIAEc_Cg" class="cyc_term">IntermittentCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhs-b2JX9QdeBCoQPSBEw0w" class="cyc_term">ExistenceDependentCollection</a> (qq.v.). Each instance EDIC of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r5XR_DpX-QdecYYD_ncIdVg" class="cyc_term">ExistenceDependentIntermittentCollection</a> is a collection such that: (i) a thing can be an instance of EDIC only while the thing exists and (ii) a thing can be an instance of EDIC during several non-overlapping periods of the thing's existence. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4fzU4G6OEdaAAACgyZzFrg" class="cyc_term">Awake</a> is such a collection. See also the specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r67LzlpX-QdeR7s1ljF2vaQ" class="cyc_term">ExistenceDependentNonInitialIntermittentCollection</a>. object type by light intensity A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPckdtHSyEdaAAACgyZzFrg" class="cyc_term">ObjectTypeBySensibleFeature</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rritX_HStEdaAAACgyZzFrg" class="cyc_term">ObjectTypeByLightIntensity</a> is a characterization of how brightly illuminated an Object is. The light intensity of an object is indicated with the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsIHJqH7_EdaAAAABAjVgzA" class="cyc_term">illuminationLevel</a> (q.v.). ObjectTypeByLightIntensity object type by light source ObjectTypeByLightSource An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> that facets <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOzwxzGKmEdqAAAACs71DGQ" class="cyc_term">Lit</a>, the collection of all illuminated tangibles (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r55_OcmKeEdqAAAACs71DGQ" 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/2008/06/10/concept/Mx4rV9NN-GKlEdqAAAACs71DGQ" class="cyc_term">Candlelit</a> is the collection of all things whose source of illumination is the flame of a candle. existence dependent initial collection A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhs-b2JX9QdeBCoQPSBEw0w" class="cyc_term">ExistenceDependentCollection</a> (q.v.). Each instance EDIC of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjIUKDpX9QdeS6ObcIcpyYA" class="cyc_term">ExistenceDependentInitialCollection</a> is a collection such that (i) a thing can be an instance of EDIC only while the thing exists, (ii) any instance of EDIC starts as an instance of it, and (iii) if an instance of EDIC changes to no longer being an instance it can never become an instance again. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQvwK1GnDEdaAAACgyZzFrg" class="cyc_term">Virgin</a> is such a collection. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rUQ4fFJX-QdeILOlR_nDRRA" class="cyc_term">ExistenceDependentTerminalCollection</a>. ExistenceDependentInitialCollection physical attribute that applies to tangible objects PhysicalQualityOfTangibleOnly A collection of collections each of which represents a quality or property that can sensibly be ascribed and restricted to paradigmatic cases of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> things, such as physical bodies. Lit The collection of tangible objects or regions that are illumiated to some level beyond <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryZq9QHS6EdaAAACgyZzFrg" class="cyc_term">LitTooDarkForSeeing</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r55_OcmKeEdqAAAACs71DGQ" class="cyc_term">ObjectTypeByLightSource</a> for facetings of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOzwxzGKmEdqAAAACs71DGQ" class="cyc_term">Lit</a> based on source of illumination, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rritX_HStEdaAAACgyZzFrg" class="cyc_term">ObjectTypeByLightIntensity</a>, most instances of which are specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOzwxzGKmEdqAAAACs71DGQ" class="cyc_term">Lit</a>, organized by intensity (brightness). light thing Soul-Spiritual The collection of all souls. In some microtheories every <font color="#ff0000">#$SentientBeing</font> incarnates a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rEz59lKJxQdeJTPtRz-86jg" class="cyc_term">Soul_Spiritual</a>. In some, souls are eternal or immortal. In some microtheories souls may incorporate multiple times in the same or different types of organisms, while in others a soul incorporates but a single time. Souls are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwwBZwpEbGdrcN5Y29ycA" class="cyc_term">FictionalThing</a>s in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWws_vqJrQdefx9_jNvv-FA" class="cyc_term">NaturalismMt</a>. soul spirit The collection of all intangible supernatural beings. A spirit may be incarnated in a tangible object such as an organism. An important specialization of this collection is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rEz59lKJxQdeJTPtRz-86jg" class="cyc_term">Soul_Spiritual</a>. Spirits are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwwBZwpEbGdrcN5Y29ycA" class="cyc_term">FictionalThing</a>s in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWws_vqJrQdefx9_jNvv-FA" class="cyc_term">NaturalismMt</a>. Spirit-Intangible ExistenceDependentCollection A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" 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. existence dependent collection The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection ExistenceDependentCollection A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" 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. existence dependent collection TimeIndependentCollection time independent collection A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzndCZwpEbGdrcN5Y29ycA" class="cyc_term">TimeIndependentCollection</a> is a collection whose membership cannot change over time. Examples of time-independent collections are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxwC-ZwpEbGdrcN5Y29ycA" class="cyc_term">Number_General</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0YfN5wpEbGdrcN5Y29ycA" class="cyc_term">MathematicalObject</a>. By contrast, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFronJwpEbGdrcN5Y29ycA" class="cyc_term">Supermodel</a> is clearly a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> (q.v.). A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> is a collection whose membership changes over time. For example, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX35wpEbGdrcN5Y29ycA" class="cyc_term">LiquidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>) is a time dependent collection. A given portion of water might be an instance of (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX35wpEbGdrcN5Y29ycA" class="cyc_term">LiquidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>) in the summer, and an instance of the disjoint collection (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX0JwpEbGdrcN5Y29ycA" class="cyc_term">SolidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>) in the winter. In contrast, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzndCZwpEbGdrcN5Y29ycA" class="cyc_term">TimeIndependentCollection</a> (q.v.) because the collection of integers does not change its membership over time. time dependent collection TimeDependentCollection first-order collection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNooX_CChEdaAAABQ2rksLw" class="cyc_term">FixedOrderCollection</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> is the collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a> (q.v.) Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. FirstOrderCollection