]> 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. SundrySpatialConcepts-Spatial-Topic sundry spatial concepts spatial topic

Level With levelWith (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViywZwpEbGdrcN5Y29ycA" class="cyc_term">levelWith</a> OBJ1 OBJ2) means that OBJ1 and OBJ2 are roughly the same vertical distance from some horizontal surface in the frame of reference.

(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPKuo5wpEbGdrcN5Y29ycA" class="cyc_term">groundOf</a> OBJ GROUND) means that GROUND is the stationary surface on which OBJ is located and possibly supported. Ground Of groundOf

The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwS68M5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing_Localized</a> that are resting on the surface of the ground of a particular place. aboveground thing AboveGround

direction Direction A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrDJwpEbGdrcN5Y29ycA" class="cyc_term">UnitVectorInterval</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjf85wpEbGdrcN5Y29ycA" class="cyc_term">Direction</a> is a vector representing a direction, typically between two objects or locations. Specializations include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjb25wpEbGdrcN5Y29ycA" class="cyc_term">GeographicalDirection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKYpwpEbGdrcN5Y29ycA" class="cyc_term">TerrestrialDirection</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwH0C9JwpEbGdrcN5Y29ycA" class="cyc_term">AnatomicalDirection</a>. Note that, since a given vector can represent a particular direction only in relation to some frame of reference, a frame of reference must be (explicitly or implicitly) specified for assertions about particular directions, either by the context (i.e. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA1ZwpEbGdrcN5Y29ycA" class="cyc_term">Microtheory</a>) of the assertion or by the type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjf85wpEbGdrcN5Y29ycA" class="cyc_term">Direction</a> in question (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjb25wpEbGdrcN5Y29ycA" class="cyc_term">GeographicalDirection</a>s are intrinsically tied to a particular terrestrial frame of reference).

undergroundOf (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPKnk5wpEbGdrcN5Y29ycA" class="cyc_term">undergroundOf</a> OBJ GROUND) means that OBJ is beneath the surface of GROUND and has the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBX2w8n8AEdaAAAABAjVgzA" class="cyc_term">locationState</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWlYxOnS_EdaAAACgyZzFrg" class="cyc_term">Underground</a>. Underground Of

The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwS68M5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing_Localized</a> that are below the surface of the ground of a particular place. Underground underground

horizon Horizon The collection of all horizons, each being the far-off region within a few degrees of the horizontal plane, where the sky appears to join the distant landscape. The horizon is always relative to a particular point of observation.

FlowPath A #$CustomaryPathCycLConstant and a specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuh8yZwpEbGdrcN5Y29ycA" class="cyc_term">Path_Customary</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOaZwpEbGdrcN5Y29ycA" class="cyc_term">Path_Simple</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVVZwpEbGdrcN5Y29ycA" class="cyc_term">FlowPath</a> is a path whose extent is delineated by the movement of a fluid over an area; for example, the path of a lava flow or the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr6opwpEbGdrcN5Y29ycA" class="cyc_term">AlaskanPipeline</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVVZwpEbGdrcN5Y29ycA" class="cyc_term">FlowPath</a> may (but need not) be constrained by objects or forces that channel the flow of fluid; see also the subcollection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjZOpwpEbGdrcN5Y29ycA" class="cyc_term">FluidConduit</a>. flow path

nearby location eventOccursNear The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPu3y5wpEbGdrcN5Y29ycA" class="cyc_term">eventOccursNear</a> relates an event to its approximate location. (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPu3y5wpEbGdrcN5Y29ycA" class="cyc_term">eventOccursNear</a> EVENT LOC) means that EVENT occurs at or near (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPutdpwpEbGdrcN5Y29ycA" class="cyc_term">near</a>) LOC. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPu3y5wpEbGdrcN5Y29ycA" class="cyc_term">eventOccursNear</a> is useful when the more exact location is unknown, hard to specify, or not worth reifying; otherwise use <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVnpwpEbGdrcN5Y29ycA" class="cyc_term">eventOccursAt</a>. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPu3y5wpEbGdrcN5Y29ycA" class="cyc_term">eventOccursNear</a> could be used to CycLify "Bob was cycling by the dam", "We played checkers near the TV", and "He is standing by the horse's hind legs". See the #$cyclistNotes for ideas on how to formalize this.

A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> (q.v.). This is the collection of all and only those collections <code>COL</code> such that any thing's being an instance of <code>COL</code> depends on the current state of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqoZwpEbGdrcN5Y29ycA" class="cyc_term">CycKB</a>. Such a <code>COL</code> corresponds to a property defined (at least partly) in terms of the contents, features, or implementation of the Cyc Knowledge Base itself, as opposed to a property that "exists out there" in the KB-independent world. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV281JwpEbGdrcN5Y29ycA" class="cyc_term">CycLAssertion</a> is a KB-dependent collection, membership in which requires of a given CycL sentence that it has in fact been asserted to the KB. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAoJwpEbGdrcN5Y29ycA" class="cyc_term">CycLSentence</a> is also KB-dependent, as being a CycL sentence requires being composed (ultimately) out of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu6KTZwpEbGdrcN5Y29ycA" class="cyc_term">CycLReifiedDenotationalTerm</a>s (and perhaps variables) -- i.e. terms that are currently reified in the KB. Conversely, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5ddsJwpEbGdrcN5Y29ycA" class="cyc_term">Sentence</a> is not a KB-dependent collection. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvip9N5wpEbGdrcN5Y29ycA" class="cyc_term">KBDependentRelation</a>. KB dependent collection KBDependentCollection SundrySpatialConcepts-Spatial-Topic sundry spatial concepts spatial topic SundrySpatialConcepts-Spatial-Topic sundry spatial concepts spatial topic A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r2SZdtGMBQdiOl-Ui2UGs_g" class="cyc_term">CycVocabularyTopLevelTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. spatial-topic Spatial-Topic CycVocabularyTopic An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s falling under a topic for which some Cyc Vocabulary exists. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a> is neither a strict [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>] nor a covering [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>] faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>: many <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s may be instances of no <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>, or of multiple <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>s. cyc vocabulary topic