]> 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. CloudInSky A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a cloud located in the sky over some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>. Since <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> must be primarily composed of water particles. cloud http://en.wikipedia.org/wiki/Cloud clouds puffy cloud Cumulus clouds. Puffy white clouds. For example, the kind you see on nice days. But not neccessarily limited to those (e.g. thunderclouds from afar may look like these. PuffyCloud Those very high clouds which don't block out much sunlight. Mackerel sky clouds, flat high clouds and wispy cirrus clouds are all of this type. They often indicate that a warm front is on its way. IceCloud ice cloud High-LevelCloud The collection of all high-level clouds. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6c8MZwpEbGdrcN5Y29ycA" class="cyc_term">High_LevelCloud</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. high level cloud Contrail condensation trail The word `contrail' was coined in 1943 to refer to the CONdensation TRAIL (water vapor) left by a jet or rocket flying at high altitude Middle-LevelCloud The collection of all middle-level clouds. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSz5OZwpEbGdrcN5Y29ycA" class="cyc_term">Middle_LevelCloud</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. middle level cloud The collection of clouds that emit <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0-5wpEbGdrcN5Y29ycA" class="cyc_term">PrecipitationParticle</a>s in instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-zpwpEbGdrcN5Y29ycA" class="cyc_term">PrecipitationProcess</a>. PrecipitationCloud precipitation cloud low-level cloud Low-LevelCloud opaque thing <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVE41HS6EdaAAACgyZzFrg" class="cyc_term">Opaque</a> is a #$PhysicalAttribute representing a specific degree of #$Transparency. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVE41HS6EdaAAACgyZzFrg" class="cyc_term">Opaque</a> objects do not transmit light. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rzE0vGn7_EdaAAAABAjVgzA" class="cyc_term">transparencyOfObject</a>. Opaque airborne thing Airborne The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwS68M5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing_Localized</a> that are airborne. An airborne object is immersed in the air and is not supported by the ground. If it is supported by anything, that thing is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rI20iinS8EdaAAACgyZzFrg" class="cyc_term">Airborne</a> and it is not `inside' (contained in?) whatever is supporting it. Thus airplanes flying, soap bubbles floating, or people jumping in midair are classic positive exemplars of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rI20iinS8EdaAAACgyZzFrg" class="cyc_term">Airborne</a> things. Slightly more questionable positive exemplars include people suspended by parachutes, or the jet engines hanging off an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rI20iinS8EdaAAACgyZzFrg" class="cyc_term">Airborne</a> 747, or the clothes of a sky diver. Negative exemplars include the people inside such an aircraft, chewing gum inside a skydiver's mouth because they are contained in something airborne. A person hanging from a bungee jumping chord is not airborne because the bungee chord is inevitably supported by `the ground'. However, while floating downward on a slack bungee tether, said jumper would be considered <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rI20iinS8EdaAAACgyZzFrg" class="cyc_term">Airborne</a> since he is not supported by anything, but rather in free fall. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> means that <code>TERM2</code> is broader than <code>TERM1</code>, in an extremely general sense of "broader". For example, <code>TERM2</code> is, in the relevant sense, broader than <code>TERM1</code> if any of the following hold: <code>TERM2</code> is a collection that subsumes <code>TERM1</code>; <code>TERM2</code> is a collection that has <code>TERM1</code> as an instance; <code>TERM2</code> is a collection, instances of which have instances of the collection <code>TERM1</code> as parts; <code>TERM2</code> has <code>TERM1</code> as a part; This list of reasons for why <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> could hold is not exhaustive, but it should give a good indication of how general the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> relation actually is. BT broaderTerm CloudInSky A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a cloud located in the sky over some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>. Since <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> must be primarily composed of water particles. cloud A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> (q.v.). Moreover, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a collection that is temporally stuff-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>) but physically-spatially object-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>) -- i.e. object-like with respect to some physical-spatial part-whole predicate (e.g. some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8a2smPXcQdiEoJhcx65EiQ" class="cyc_term">properPhysicalDecompositions</a>). Consider the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>. Further, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is temporally stuff-like: any one of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a given copy <code>COPY</code> of (say) "Moby Dick" is still a copy of "Moby Dick". (Most collections of tangible objects are temporally stuff-like in this way.) But <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is spatially object-like: if we take a scalpel and slice <code>COPY</code> into ten pieces, each piece is not a copy of "Moby Dick". So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>. ExistingObjectType type of object open-air Outdoors-ExposedToWeather The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwS68M5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing_Localized</a> that are outside under the sky, exposed to weather, not immersed in water, not in space, and not underground. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ro3lluGJHQdiVxrZReHS-jQ" class="cyc_term">EnduringThing_Localized</a> (q.v). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjTtJwpEbGdrcN5Y29ycA" class="cyc_term">Place</a> is a spatial thing which has a relatively permanent location. Thus, in a given microtheory, each <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjTtJwpEbGdrcN5Y29ycA" class="cyc_term">Place</a> is stationary with respect to the frame of reference of that microtheory. Place place CloudInSky A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a cloud located in the sky over some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>. Since <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> must be primarily composed of water particles. cloud CloudInSky A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a cloud located in the sky over some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>. Since <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> must be primarily composed of water particles. cloud CloudInSky A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a cloud located in the sky over some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>. Since <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> must be primarily composed of water particles. cloud A specialization of <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/Mx4rvVjon5wpEbGdrcN5Y29ycA" class="cyc_term">Mixture</a> is a homogeneous partially tangible thing composed of two or more different constituents (see the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjSd5wpEbGdrcN5Y29ycA" class="cyc_term">constituents</a>) which have been mixed. The inputs to this mixing do not form chemical bonds among themselves, and at a later time the mixture may be separated back out into these inputs. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjon5wpEbGdrcN5Y29ycA" class="cyc_term">Mixture</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjI8JwpEbGdrcN5Y29ycA" class="cyc_term">Blood</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgC2EpwpEbGdrcN5Y29ycA" class="cyc_term">Mud</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjADJwpEbGdrcN5Y29ycA" class="cyc_term">Air</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0TZwpEbGdrcN5Y29ycA" class="cyc_term">CarbonatedBeverage</a>. Note that each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjon5wpEbGdrcN5Y29ycA" class="cyc_term">Mixture</a> has a composition but not a structure; thus, the following are _not_ instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjon5wpEbGdrcN5Y29ycA" class="cyc_term">Mixture</a>, since all have some structure: a wet sponge, a person, or a portion of plywood. mixture Mixture Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" 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/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" 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. prettyString A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. weather objects weather topic WeatherObjects-Weather-Topic CloudInSky A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a cloud located in the sky over some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>. Since <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0jZwpEbGdrcN5Y29ycA" class="cyc_term">CloudOfH2O</a>, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPugRJwpEbGdrcN5Y29ycA" class="cyc_term">CloudInSky</a> must be primarily composed of water particles. cloud A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmLypJwpEbGdrcN5Y29ycA" class="cyc_term">TopAndBottomSidedObject</a> is an object with an intrinsic <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjEpZwpEbGdrcN5Y29ycA" class="cyc_term">TopSide</a> and an intrinsic <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWc5wpEbGdrcN5Y29ycA" class="cyc_term">BottomSide</a>. By 'intrinsic' we mean simply that there exists an established convention according to which one side is considered 'top' and the other side is considered 'bottom'. Usually the two sides in question can be reliably distinguished from one another. For example, by convention, the 'top' of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZ9JwpEbGdrcN5Y29ycA" class="cyc_term">Table_PieceOfFurniture</a> is the side on which other objects usually rest, while the 'bottom' is the side which usually touches the floor. Notice that a conventionally distinguishable bottom and top do not necessarily imply a left and right, or a front and back. A plant is a good example of the case where they do not: top and bottom can be reliably distinguished but not, ordinarily, front and back or left and right. Notice also--and this is crucial to the whole conception--that while a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmLypJwpEbGdrcN5Y29ycA" class="cyc_term">TopAndBottomSidedObject</a> may well have a preferred orientation, changing this orientation does not change what counts as 'top' and what counts as 'bottom': if a car flips over on the highway its top is now facing the pavement and its bottom--the undercarriage--is now up in the air. If an entity does not obey this rule then it does not, generally speaking, count as having a distinguishable top and bottom--example: an hourglass or a book. (see also #$NoteAboutSidedObject) top and bottom sided object TopAndBottomSidedObject cloud CloudlikeObject A cloud is a kind of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi_ypwpEbGdrcN5Y29ycA" class="cyc_term">Suspension</a> that has air as the suspending fluid. Things like clouds of locusts are metaphorical, and are not treated as clouds in the kb. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi_ypwpEbGdrcN5Y29ycA" class="cyc_term">Suspension</a> for the structure of the material out of which clouds are made. A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is a collection C of spatial things (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a>), where each of the spatial things in C is spatially disjoint with the other spatial things in C. For example, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>, since dogs do not spatially overlap. Even pregnant dogs do not spatially overlap the pups they bear; rather, pregnant dogs contain their unborn pups. Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwVGrQ5wpEbGdrcN5Y29ycA" class="cyc_term">LatitudeLine</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvW4n1pwpEbGdrcN5Y29ycA" class="cyc_term">CompactDisc_Audio</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwR7UWZwpEbGdrcN5Y29ycA" class="cyc_term">PlanetaryBody</a>. An important specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> (a collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwT-n15wpEbGdrcN5Y29ycA" class="cyc_term">TrueContinent</a>). spatially disjoint object type SpatiallyDisjointObjectType