]> 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 binary predicate that relates a (tangible or intangible) spatial thing to an axis of symmetry (if it has any). <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/symmetricAxes" class="cyc_term">symmetricAxes</a> OBJECT AXIS)</code> means that <code>AXIS</code> is an axis of symmetry of <code>OBJECT</code>: a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a> with respect to which <code>OBJECT</code> is either bilaterally or radially symmetric (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/AxisymmetricObject" class="cyc_term">AxisymmetricObject</a>). For example, any straight line that passes through the center of a given <a href="http://sw.opencyc.org/2008/06/10/concept/en/Sphere" class="cyc_term">Sphere</a> is an axis of symmetry of the sphere. The axle of a bicycle wheel spatially subsumes a segment of the wheel's (radial) axis of symmetry. For a broader notion of axis, which includes the partly conventionally-determined "axes" of certain non-symmetric objects, see the generalization <a href="http://sw.opencyc.org/2008/06/10/concept/en/objectAxes" class="cyc_term">objectAxes</a>. symmetricAxes Symmetric Axes Mx4r4BM6CvVqEdmAAAACs0uFOQ A binary predicate that relates a (tangible or intangible) spatial thing to an axis of symmetry (if it has any). <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/symmetricAxes" class="cyc_term">symmetricAxes</a> OBJECT AXIS)</code> means that <code>AXIS</code> is an axis of symmetry of <code>OBJECT</code>: a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a> with respect to which <code>OBJECT</code> is either bilaterally or radially symmetric (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/AxisymmetricObject" class="cyc_term">AxisymmetricObject</a>). For example, any straight line that passes through the center of a given <a href="http://sw.opencyc.org/2008/06/10/concept/en/Sphere" class="cyc_term">Sphere</a> is an axis of symmetry of the sphere. The axle of a bicycle wheel spatially subsumes a segment of the wheel's (radial) axis of symmetry. For a broader notion of axis, which includes the partly conventionally-determined "axes" of certain non-symmetric objects, see the generalization <a href="http://sw.opencyc.org/2008/06/10/concept/en/objectAxes" class="cyc_term">objectAxes</a>. symmetricAxes Symmetric Axes 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>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AxisymmetricObject" class="cyc_term">AxisymmetricObject</a> is a (tangible or intangible) spatial thing that is symmetric with respect to an axis. Such an axis, which is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a>, is an axis of symmetry (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/symmetricAxes" class="cyc_term">symmetricAxes</a>) of the spatial thing. An axially symmetric object might be a <a href="http://sw.opencyc.org/2008/06/10/concept/en/BilaterallySymmetricObject" class="cyc_term">BilaterallySymmetricObject</a> or a <a href="http://sw.opencyc.org/2008/06/10/concept/en/RadiallySymmetricObject" class="cyc_term">RadiallySymmetricObject</a> (qq.v.). axisymmetric object AxisymmetricObject A binary predicate that relates a (tangible or intangible) spatial thing to an axis of symmetry (if it has any). <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/symmetricAxes" class="cyc_term">symmetricAxes</a> OBJECT AXIS)</code> means that <code>AXIS</code> is an axis of symmetry of <code>OBJECT</code>: a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a> with respect to which <code>OBJECT</code> is either bilaterally or radially symmetric (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/AxisymmetricObject" class="cyc_term">AxisymmetricObject</a>). For example, any straight line that passes through the center of a given <a href="http://sw.opencyc.org/2008/06/10/concept/en/Sphere" class="cyc_term">Sphere</a> is an axis of symmetry of the sphere. The axle of a bicycle wheel spatially subsumes a segment of the wheel's (radial) axis of symmetry. For a broader notion of axis, which includes the partly conventionally-determined "axes" of certain non-symmetric objects, see the generalization <a href="http://sw.opencyc.org/2008/06/10/concept/en/objectAxes" class="cyc_term">objectAxes</a>. symmetricAxes Symmetric Axes RelativeLocationalPredicate A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/LocationalPredicate" class="cyc_term">LocationalPredicate</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RelativeLocationalPredicate" class="cyc_term">RelativeLocationalPredicate</a> relates two (or, occasionally, more) spatial things in terms of their relative locations with respect to one another, and does so in a way that does not simply amount to relating a spatial thing to a space region in which it is embedded. (Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbsoluteLocationalPredicate" class="cyc_term">AbsoluteLocationalPredicate</a>.) Many relative-location predicates can take any <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThing" class="cyc_term">SpatialThing</a>s (or at least any instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThing_Localized" class="cyc_term">SpatialThing_Localized</a>) as arguments. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/touches_Directly" class="cyc_term">touches_Directly</a> holds of any two spatial things that either spatially intersect or are in direct spatial contact. Other relative-location predicates have one or more of their argument-places restricted to tangible things of some sort (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/PartiallyTangible" class="cyc_term">PartiallyTangible</a>); e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/en/pathThroughRegion" class="cyc_term">pathThroughRegion</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/abutsSurface" class="cyc_term">abutsSurface</a>. Still others (the so-called <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpaceRegionPredicate" class="cyc_term">SpaceRegionPredicate</a>s) only relate <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpaceRegion" class="cyc_term">SpaceRegion</a>s to each other; e.g. #$overlappingSpaceRegions and #$properPartOfSpaceRegion. relative locational predicate A binary predicate that relates a (tangible or intangible) spatial thing to an axis of symmetry (if it has any). <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/symmetricAxes" class="cyc_term">symmetricAxes</a> OBJECT AXIS)</code> means that <code>AXIS</code> is an axis of symmetry of <code>OBJECT</code>: a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Line_Straight" class="cyc_term">Line_Straight</a> with respect to which <code>OBJECT</code> is either bilaterally or radially symmetric (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/AxisymmetricObject" class="cyc_term">AxisymmetricObject</a>). For example, any straight line that passes through the center of a given <a href="http://sw.opencyc.org/2008/06/10/concept/en/Sphere" class="cyc_term">Sphere</a> is an axis of symmetry of the sphere. The axle of a bicycle wheel spatially subsumes a segment of the wheel's (radial) axis of symmetry. For a broader notion of axis, which includes the partly conventionally-determined "axes" of certain non-symmetric objects, see the generalization <a href="http://sw.opencyc.org/2008/06/10/concept/en/objectAxes" class="cyc_term">objectAxes</a>. symmetricAxes Symmetric Axes A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectPredicate" class="cyc_term">ObjectPredicate</a>. This is the collection of predicates used to ascribe characteristics or properties (taken in a very broad sense) to intangible objects. As such, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/IntangibleObjectPredicate" class="cyc_term">IntangibleObjectPredicate</a> has at least one argument place (quite often including the first) constrained to accept only instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/IntangibleIndividual" class="cyc_term">IntangibleIndividual</a> or some subcollection thereof. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/en/arg3Isa" class="cyc_term">arg3Isa</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/religionOfRule" class="cyc_term">religionOfRule</a>. intangible object describing predicate IntangibleObjectPredicate 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. The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialPredicate" class="cyc_term">SpatialPredicate</a>s that are also instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CotemporalPredicate" class="cyc_term">CotemporalPredicate</a>. SpatialCotemporalPredicate spatial cotemporal predicate DirectionAndOrientationVocabulary-Spatial-Topic direction and orientation vocabulary spatial topic