]> 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. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1YJwpEbGdrcN5Y29ycA" class="cyc_term">Bay</a> is an inlet of a sea or lake, and is usually smaller than a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkABpwpEbGdrcN5Y29ycA" class="cyc_term">Gulf</a>. Bay bay bays cove The collection of all coves. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1YJwpEbGdrcN5Y29ycA" class="cyc_term">Bay</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rG28AGiTbQdeR8YLno_5fww" class="cyc_term">Cove</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rummjkLHtEdmAAAACs6hO_g" class="cyc_term">NaturalFeatureType</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rrwTJ-v7BEdmAAAACs0uFOQ" class="cyc_term">WaterBodyConcept</a>. Cove large area of the Indian Ocean at the southeastern edge of Asia BayOfBengal the Bay of Bengal BayOfKorea bay near Manchuria-Korea-China Bay of Korea major bay in heavily populated and industrialized area of eastern U.S. Chesapeake Bay ChesapeakeBay Bay of Fundy intrusion of water into the eastern edge of NorthAmerica, noted for its tidal bore BayOfFundy Baffin Bay BaffinBay intrusion of water into the eastern edge of NorthAmerica Prudhoe Bay PrudhoeBay inlet into northern Alaska DelawareBay Delaware Bay bay on heavy industrialized NE U.S. coast AbuQirBay Abu Qir Bay Hudson Bay very large intrusion of water into thr middle of northern Canada HudsonBay San Diego Bay SanDiegoBay Bay of Danzig north European arm of sea BayOfDanzig bay on TX Gulf Coast Matagorda Bay MatagordaBay SanFranciscoBay California inlet of Pacific San Francisco Bay KaneoheBay A large bay on the Eastern side of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLr9HZwpEbGdrcN5Y29ycA" class="cyc_term">Oahu_Island_Hawaii</a>, bordered by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ2LwZwpEbGdrcN5Y29ycA" class="cyc_term">Mokapu_Peninsula</a>. Kaneohe Bay very large intrusion of water into the western edge of Europe BayOfBiscay Bay of Biscay JamesBay James Bay southern extension of Hudson Bay A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1YJwpEbGdrcN5Y29ycA" class="cyc_term">Bay</a> is an inlet of a sea or lake, and is usually smaller than a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkABpwpEbGdrcN5Y29ycA" class="cyc_term">Gulf</a>. Bay bay concept related to bodies of water WaterBodyConcept A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ret7qgOKgEdmAAAACs6hfSg" class="cyc_term">ConceptTypeByDomain</a> (q.v.). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rrwTJ-v7BEdmAAAACs0uFOQ" class="cyc_term">WaterBodyConcept</a> are collections and relations having to do with bodies of water. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a>, and relations used for describing the parts, sizes, locations, uses, and other features of various types of water-bodies are instances of this collection. NaturalThing The notoriously hard to define collection of &quot;natural&quot; things. An individual is an instance of this collection if it is itself an individual or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a> that occurs in nature, i.e., not as a result of an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinb5wpEbGdrcN5Y29ycA" class="cyc_term">IntelligentAgent</a>'s (or group thereof) intentions to modify the environment, or else is an individual that is the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWStbZwpEbGdrcN5Y29ycA" class="cyc_term">outputsCreated</a> of an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a> that is itself natural. natural thing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1YJwpEbGdrcN5Y29ycA" class="cyc_term">Bay</a> is an inlet of a sea or lake, and is usually smaller than a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkABpwpEbGdrcN5Y29ycA" class="cyc_term">Gulf</a>. Bay bay 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 BodyOfWater A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjORZwpEbGdrcN5Y29ycA" class="cyc_term">TopographicalFeature</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a> is a natural or artificial topographical feature consisting of a relatively large volume of water primarily in liquid form, contained by an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzyJwpEbGdrcN5Y29ycA" class="cyc_term">Basin_Topographical</a>. Both the basin and the water are considered parts of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a>; see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBuSs-tSsQdaVn6xwikTZ7w" class="cyc_term">basinOfBodyOfWater</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPWOuxhQEEdqAAAACs6hfSg" class="cyc_term">waterOfBodyOfWater</a>. <p/> Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjktpwpEbGdrcN5Y29ycA" class="cyc_term">Ocean</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi4IpwpEbGdrcN5Y29ycA" class="cyc_term">Lake</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkHM5wpEbGdrcN5Y29ycA" class="cyc_term">River</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzcZwpEbGdrcN5Y29ycA" class="cyc_term">Canal</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjNz5wpEbGdrcN5Y29ycA" class="cyc_term">Harbor</a>. <p/> Note that relatively small, purely artificial containers of water (such as swimming pools or tanks of water) are <i>not</i> instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a>. Moreover, topographical features such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD8xJwpEbGdrcN5Y29ycA" class="cyc_term">Glacier</a>s or snowfields, which contain a large volume of water primarily in solid form, are also <i>not</i> instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a>. body of water A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1YJwpEbGdrcN5Y29ycA" class="cyc_term">Bay</a> is an inlet of a sea or lake, and is usually smaller than a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkABpwpEbGdrcN5Y29ycA" class="cyc_term">Gulf</a>. Bay bay <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> <b>TERM1</b> <b>TERM2</b>)</code> means that <code><b>TERM2</b></code> is <i>broader</i> than <code><b>TERM1</b></code>, in an extremely general sense of &quot;broader&quot;. For example, <code><b>TERM2</b></code> is, in the relevant sense, broader than <code><b>TERM1</b></code> if any of the following hold:<br><br> <code><b>TERM2</b></code> is a collection that subsumes <code><b>TERM1</b></code>; <br> <code><b>TERM2</b></code> is a collection that has <code><b>TERM1</b></code> as an instance; <br> <code><b>TERM2</b></code> is a collection, instances of which have instances of the collection <code><b>TERM1</b></code> as parts; <br> <code><b>TERM2</b></code> has <code><b>TERM1</b></code> as a part; <br><br> This list of reasons for why <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> <b>TERM1</b> <b>TERM2</b>)</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 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>). <p/> 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><b>COPY</b></code> of (say) &quot;Moby Dick&quot; is still a copy of &quot;Moby Dick&quot;. (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 <i>object-like</i>: if we take a scalpel and slice <code><b>COPY</b></code> into ten pieces, each piece is not a copy of &quot;Moby Dick&quot;. 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>. <p/> 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 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 A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE_JwpEbGdrcN5Y29ycA" class="cyc_term">BodyOfWater</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1YJwpEbGdrcN5Y29ycA" class="cyc_term">Bay</a> is an inlet of a sea or lake, and is usually smaller than a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkABpwpEbGdrcN5Y29ycA" class="cyc_term">Gulf</a>. Bay bay natural feature type NaturalFeatureType <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rummjkLHtEdmAAAACs6hO_g" class="cyc_term">NaturalFeatureType</a> is the collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6-wc8BKxEdeIXwCgydofLQ" class="cyc_term">CartographicFeatureType</a>s which naturally occur on the surface of the Earth. Positive examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjODZwpEbGdrcN5Y29ycA" class="cyc_term">Mountain</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjktpwpEbGdrcN5Y29ycA" class="cyc_term">Ocean</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD8VZwpEbGdrcN5Y29ycA" class="cyc_term">Mesa</a>. Negative examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzt5wpEbGdrcN5Y29ycA" class="cyc_term">WaterReservoir</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzcZwpEbGdrcN5Y29ycA" class="cyc_term">Canal</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rT2uByCTVQdeVZZaE0030Zg" class="cyc_term">Airfield</a>. Also see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ru-8ymLHtEdmAAAACs6hO_g" class="cyc_term">ArtifactualFeatureType</a>, the corresponding collection for feature types which are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkH_ZwpEbGdrcN5Y29ycA" class="cyc_term">Artifact</a>s.