]> 2009/04/07 OpenCyc Knowledge Base Copyright© 2001-2009 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. Mappings between OpenCyc terms and Wikipedia article names provided by Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative Commons Attribution 3.0 license. 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. pyramid Pyramid A <a href="http://sw.opencyc.org/concept/Mx4rwPRuxZwpEbGdrcN5Y29ycA" class="cyc_term">ThreeDimensionalShapeType</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvtjhbpwpEbGdrcN5Y29ycA" class="cyc_term">Polyhedron</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjJX5wpEbGdrcN5Y29ycA" class="cyc_term">Pyramid</a> is a polyhedron having an n-sided <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> as its base and n triangles (with a common vertex) as its other faces. Examples include tangible objects, such as the Egyptian pyramids, as well as intangible pyramid-shaped space regions. more pyramid-shaped most pyramid-shaped pyramid-shaped pyramids

Pyramid

http://en.wikipedia.org/wiki/Pyramid http://www.w3.org/2006/03/wn/wn20/instances/synset-pyramid-noun-1 The pyramid-shaped office building in San Francisco. TransamericaBuilding-SanFrancisco the Transamerica Tower type of three dimensional shape ThreeDimensionalShapeType A collection of collections and a specialization of #$SpatialThingTypeByGeometricShape (q.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rwPRuxZwpEbGdrcN5Y29ycA" class="cyc_term">ThreeDimensionalShapeType</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4rwPu-YZwpEbGdrcN5Y29ycA" class="cyc_term">ThreeDimensionalGeometricThing</a> (q.v.) all of whose own instances have something in common as regards their shape. Instances include the collections <a href="http://sw.opencyc.org/concept/Mx4rwQBgIZwpEbGdrcN5Y29ycA" class="cyc_term">Cylinder</a> and <a href="http://sw.opencyc.org/concept/Mx4rwP4qT5wpEbGdrcN5Y29ycA" class="cyc_term">Cube</a>. Cf. <a href="http://sw.opencyc.org/concept/Mx4rwPRuk5wpEbGdrcN5Y29ycA" class="cyc_term">TwoDimensionalShapeType</a>. A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a>. Roughly speaking, a spatial thing is a <a href="http://sw.opencyc.org/concept/Mx4r3OJDJthGEdmAAAAH6Q2cKw" 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. manifold LocallyEuclideanSpatialThing convex thing A specialization of <a href="http://sw.opencyc.org/concept/Mx4rmuSrEoIhQdeQIpazjIb_wQ" class="cyc_term">SpatiallyContinuousThing</a> (q.v.). This is the collection of convex spatial things, tangible and intangible. Each instance <code>CONVEX</code> of <a href="http://sw.opencyc.org/concept/Mx4rjFPZRsiEEdmAAAACs0uFOQ" class="cyc_term">ConvexThing</a> is such that, for any two points subumed by (see <a href="http://sw.opencyc.org/concept/Mx4rv9FMG5wpEbGdrcN5Y29ycA" class="cyc_term">spatiallySubsumes</a>) <code>CONVEX</code>, the straight line-segment between those points is itself subsumed by <code>CONVEX</code>. For example, a billiard ball is a convex thing but a boomerang is not; neither is a football (as it's hollow) or a sponge (as it has holes). Specializations of <a href="http://sw.opencyc.org/concept/Mx4rjFPZRsiEEdmAAAACs0uFOQ" class="cyc_term">ConvexThing</a> include #$ConvexSpaceRegion and <a href="http://sw.opencyc.org/concept/Mx4rwLkhWpwpEbGdrcN5Y29ycA" class="cyc_term">ConvexTangibleObject</a>. See also the generalization <a href="http://sw.opencyc.org/concept/Mx4rFwxBAMiTEdmAAAACs0uFOQ" class="cyc_term">StarConvexThing</a>. ConvexThing Wikipedia Article URL (<a href="http://sw.opencyc.org/concept/Mx4rNv0nbm4TTjOp7yhmnzOyqg" class="cyc_term">wikipediaArticleURL</a> THING URL) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article located at URL wikipediaArticleURL seeAlsoURI <code>(<a href="http://sw.opencyc.org/concept/Mx4riWVFR6HJSpaEaHrcWS3MSA" class="cyc_term">seeAlsoURI</a> THING URI)</code> means that a description of the resource identified by URI is likely to contain information pertinent to THING. This predicate is roughly equivalent to rdfs:seeAlso. See Also URI radial thing A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVkG_5wpEbGdrcN5Y29ycA" class="cyc_term">RadiallySymmetricObject</a> is a spatial thing whose spatial parts are regularly arranged about a central axis. Instances of <a href="http://sw.opencyc.org/concept/Mx4rvVkG_5wpEbGdrcN5Y29ycA" class="cyc_term">RadiallySymmetricObject</a> include wheels and adult starfish. RadiallySymmetricObject 3d polygon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rwPu-YZwpEbGdrcN5Y29ycA" class="cyc_term">ThreeDimensionalGeometricThing</a> and <a href="http://sw.opencyc.org/concept/Mx4r31jQ-siZEdmAAAACs0uFOQ" class="cyc_term">SimplyConnectedThing</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvtjhbpwpEbGdrcN5Y29ycA" class="cyc_term">Polyhedron</a> is a 3-D, simply-connected, geometrically-describable object whose entire surface (see <a href="http://sw.opencyc.org/concept/Mx4rQfyHuOgnEdmAAAACs0uFOQ" class="cyc_term">PolyhedralSurface</a>) is a finite, unbounded <a href="http://sw.opencyc.org/concept/Mx4rvZWBA5wpEbGdrcN5Y29ycA" class="cyc_term">SurfaceRegion</a> that is the spatial sum of several (i.e. four or more) polygons (see <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a>). Polyhedron pyramid Pyramid A <a href="http://sw.opencyc.org/concept/Mx4rwPRuxZwpEbGdrcN5Y29ycA" class="cyc_term">ThreeDimensionalShapeType</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvtjhbpwpEbGdrcN5Y29ycA" class="cyc_term">Polyhedron</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjJX5wpEbGdrcN5Y29ycA" class="cyc_term">Pyramid</a> is a polyhedron having an n-sided <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> as its base and n triangles (with a common vertex) as its other faces. Examples include tangible objects, such as the Egyptian pyramids, as well as intangible pyramid-shaped space regions. pyramid Pyramid A <a href="http://sw.opencyc.org/concept/Mx4rwPRuxZwpEbGdrcN5Y29ycA" class="cyc_term">ThreeDimensionalShapeType</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvtjhbpwpEbGdrcN5Y29ycA" class="cyc_term">Polyhedron</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjJX5wpEbGdrcN5Y29ycA" class="cyc_term">Pyramid</a> is a polyhedron having an n-sided <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> as its base and n triangles (with a common vertex) as its other faces. Examples include tangible objects, such as the Egyptian pyramids, as well as intangible pyramid-shaped space regions. Pretty String (<a href="http://sw.opencyc.org/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/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 pyramid Pyramid A <a href="http://sw.opencyc.org/concept/Mx4rwPRuxZwpEbGdrcN5Y29ycA" class="cyc_term">ThreeDimensionalShapeType</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvtjhbpwpEbGdrcN5Y29ycA" class="cyc_term">Polyhedron</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjJX5wpEbGdrcN5Y29ycA" class="cyc_term">Pyramid</a> is a polyhedron having an n-sided <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> as its base and n triangles (with a common vertex) as its other faces. Examples include tangible objects, such as the Egyptian pyramids, as well as intangible pyramid-shaped space regions. MereotopologyConcept mereotopology concept Instances of <a href="http://sw.opencyc.org/concept/Mx4rixW2aOKgEdmAAAACs6hfSg" 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. wikipediaArticleName (<a href="http://sw.opencyc.org/concept/Mx4rTv-jk9SPTXa991kk5mAvHg" class="cyc_term">wikipediaArticleName</a> THING NAME) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article with the title NAME Wikipedia Article Name