]> 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. Mx4rvVjC4JwpEbGdrcN5Y29ycA Line-Straight straight line A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line" class="cyc_term">Line</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject_Straight" class="cyc_term">LinearObject_Straight</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a> is an endless straight line. Examples include spatially localized objects as well as abstract lines. straight lines Axis Of Rotation Earth Earth's axis of rotation, defined by Earth's continuous West to East motion. This axis points from the south side of the earth to the north side of the earth. AxisOfRotation-Earth Line-Straight A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line" class="cyc_term">Line</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject_Straight" class="cyc_term">LinearObject_Straight</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a> is an endless straight line. Examples include spatially localized objects as well as abstract lines. straight line A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThing" class="cyc_term">SpatialThing</a>. Roughly speaking, a spatial thing is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/LocallyEuclideanSpatialThing" class="cyc_term">LocallyEuclideanSpatialThing</a> if it has no self-intersections. For example, a line-segment is geometrically simple if it can be traced without visiting the same point twice; a two-dimensional region is geometrically simple if its boundary is simple. More formally, an <code>N</code>-dimensional spatial thing <code>THING</code> is geometrically simple if and only if, for every point in the interior of <code>THING</code>, there exists a neighborhood of the point contained in the interior of <code>THING</code> and a homeomorphism (open and continuous bijection) that maps the neighborhood onto an open subset of <code>N</code> dimensional Euclidean space. While CycL currently lacks the vocabulary to codify the formal definition, we can state restricted forms of it for certain classes of spatial things, and do so in the cases that are of immediate interest. For these, see the reified specializations of this collection. LocallyEuclideanSpatialThing manifold straight thing LinearObject-Straight A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject" class="cyc_term">LinearObject</a> (q.v.). <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject_Straight" class="cyc_term">LinearObject_Straight</a> is the collection of all linearly-shaped objects that are more-or-less straight (i.e. not curved), whether tangible or intangible. Note that the criterion for being "straight" in the present sense varies from context to context. For example, the standard of straightness for limning a football field is less precise than that for pure geometry. Important geometrical specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject_Straight" class="cyc_term">LinearObject_Straight</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Ray_Geometrical" class="cyc_term">Ray_Geometrical</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/LineSegment" class="cyc_term">LineSegment</a>. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThingTypeByShape" class="cyc_term">SpatialThingTypeByShape</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GeometricShapeType" class="cyc_term">GeometricShapeType</a> is a type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GeometricallyDescribableThing" class="cyc_term">GeometricallyDescribableThing</a> (q.v.) whose own instances are all and only those things that have a common shape that is characterizable in relatively simple geometric terms. An instance of a given geometric shape-type is a geometrically-describable object, which might either be intangible or tangible (though in the latter case it must be three-dimensional). For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Sphere" class="cyc_term">Sphere</a> is the collection of all spherical object; it includes both spherical space regions and crystal balls. Similarly, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Circle" class="cyc_term">Circle</a> is the collection of all two-dimensional circles; all of its instances are intangible, since tangible objects are by their nature three-dimensional. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GeometricShapeType" class="cyc_term">GeometricShapeType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/TwoDimensionalShapeType" class="cyc_term">TwoDimensionalShapeType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThreeDimensionalShapeType" class="cyc_term">ThreeDimensionalShapeType</a>. type of shape GeometricShapeType A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/OneDimensionalThing" class="cyc_term">OneDimensionalThing</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/GeometricallyDescribableThing" class="cyc_term">GeometricallyDescribableThing</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> (qq.v.). <a href="http://sw.opencyc.org/2008/06/10/concept/en/OneDimensionalGeometricThing" class="cyc_term">OneDimensionalGeometricThing</a> is the collection of all one-dimensional, self-connected objects that can be described in relatively simple geometric terms. Specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LineSegment_Straight" class="cyc_term">LineSegment_Straight</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Arc" class="cyc_term">Arc</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Ellipse" class="cyc_term">Ellipse</a>. one-dimensional thing OneDimensionalGeometricThing mereotopology concept Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/MereotopologyConcept" class="cyc_term">MereotopologyConcept</a> are concepts which are included in the domain of mereotopology; therefore, parts, boundaries and the topological relationships among them would be instances of this collection. MereotopologyConcept A specialization of #$ConnectedSpaceRegion and <a href="http://sw.opencyc.org/2008/06/10/concept/en/SimplyConnectedThing" class="cyc_term">SimplyConnectedThing</a> (qq.v.). This is the collection of all and only simply-connected space regions. A notable specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SimplyConnectedSpaceRegion" class="cyc_term">SimplyConnectedSpaceRegion</a> is #$ConvexSpaceRegion. simply connected space region SimplyConnectedSpaceRegion LinearObjectConcept linear object concept Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObjectConcept" class="cyc_term">LinearObjectConcept</a> are concepts which are types or relations about <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject" class="cyc_term">LinearObject</a>s. Line-Straight A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line" class="cyc_term">Line</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject_Straight" class="cyc_term">LinearObject_Straight</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a> is an endless straight line. Examples include spatially localized objects as well as abstract lines. straight line Line-Planar A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line" class="cyc_term">Line</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject_Planar" class="cyc_term">LinearObject_Planar</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Planar" class="cyc_term">Line_Planar</a> is a (straight or curved) intangible line that remains in a single two-dimensional plane. Specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Arc" class="cyc_term">Arc</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a>. And cf. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_NonPlanar" class="cyc_term">Line_NonPlanar</a>. planar thing Line-Straight A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line" class="cyc_term">Line</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject_Straight" class="cyc_term">LinearObject_Straight</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a> is an endless straight line. Examples include spatially localized objects as well as abstract lines. straight line Line-Straight A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line" class="cyc_term">Line</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject_Straight" class="cyc_term">LinearObject_Straight</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a> is an endless straight line. Examples include spatially localized objects as well as abstract lines. straight line Line-Straight A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line" class="cyc_term">Line</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject_Straight" class="cyc_term">LinearObject_Straight</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a> is an endless straight line. Examples include spatially localized objects as well as abstract lines. straight line prettyString (<a href="http://sw.opencyc.org/2008/06/10/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/2008/06/10/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. Pretty String