]> 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. polygon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rviHxm5wpEbGdrcN5Y29ycA" class="cyc_term">PlaneFigure</a> and #$ConnectedSpaceRegion (qq.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> is a plane figure whose boundary is one or more closed curves, each consisting of three or more straight line-segments joined end-to-end (see <a href="http://sw.opencyc.org/concept/Mx4rvoMjlpwpEbGdrcN5Y29ycA" class="cyc_term">LineString</a>). Specializations of this collection include <a href="http://sw.opencyc.org/concept/Mx4rvVjrapwpEbGdrcN5Y29ycA" class="cyc_term">Triangle</a>, <a href="http://sw.opencyc.org/concept/Mx4rv8EXxJwpEbGdrcN5Y29ycA" class="cyc_term">Hexagon</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvyHrCJwpEbGdrcN5Y29ycA" class="cyc_term">RegularPolygon</a>. See also <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a>. Polygon more polygonal most polygonal polygonal polygons

Polygon

http://en.wikipedia.org/wiki/Polygon http://www.w3.org/2006/03/wn/wn20/instances/synset-polygon-noun-1 Octagon octagon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> and an instance of <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a> (q.v.). This is the collection of all eight-sided polygons. A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rwT9uHJwpEbGdrcN5Y29ycA" class="cyc_term">EquilateralPolygon</a> is a polygon whose sides are all of equal length. See also <a href="http://sw.opencyc.org/concept/Mx4rviCcIZwpEbGdrcN5Y29ycA" class="cyc_term">EquiangularPolygon</a> and <a href="http://sw.opencyc.org/concept/Mx4rvyHrCJwpEbGdrcN5Y29ycA" class="cyc_term">RegularPolygon</a>. equilateral shaped thing EquilateralPolygon A <a href="http://sw.opencyc.org/concept/Mx4rN8XS8P9zEdmAAAACs6hO_g" class="cyc_term">CyclicPolygon</a> is a <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> whose vertices all lie on a common <a href="http://sw.opencyc.org/concept/Mx4rmSmWUM7yEdmAAAACs0uFOQ" class="cyc_term">Circle</a>. Every <a href="http://sw.opencyc.org/concept/Mx4rvyHrCJwpEbGdrcN5Y29ycA" class="cyc_term">RegularPolygon</a> is a <a href="http://sw.opencyc.org/concept/Mx4rN8XS8P9zEdmAAAACs6hO_g" class="cyc_term">CyclicPolygon</a>. Since three noncolinear points determine a unique <a href="http://sw.opencyc.org/concept/Mx4rmSmWUM7yEdmAAAACs0uFOQ" class="cyc_term">Circle</a>, every <a href="http://sw.opencyc.org/concept/Mx4rvVjrapwpEbGdrcN5Y29ycA" class="cyc_term">Triangle</a> is a <a href="http://sw.opencyc.org/concept/Mx4rN8XS8P9zEdmAAAACs6hO_g" class="cyc_term">CyclicPolygon</a> as well. cyclic polygon CyclicPolygon Decagon decagon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> and an instance of <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a> (q.v.). This is the collection of all ten-sided polygons. A <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> (q.v.). This is the collection of all four-sided polygons. quadrilateral Quadrilateral Hendecagon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> and an instance of <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a> (q.v.). This is the collection of all eleven-sided polygons. hendecagon Heptagon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> and an instance of <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a> (q.v.). This is the collection of all seven-sided polygons. heptagon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rviCcIZwpEbGdrcN5Y29ycA" class="cyc_term">EquiangularPolygon</a> is a polygon whose internal angles are all of equal measure. See also <a href="http://sw.opencyc.org/concept/Mx4rwT9uHJwpEbGdrcN5Y29ycA" class="cyc_term">EquilateralPolygon</a> and <a href="http://sw.opencyc.org/concept/Mx4rvyHrCJwpEbGdrcN5Y29ycA" class="cyc_term">RegularPolygon</a>. equiangular thing EquiangularPolygon Nonagon nonagon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> and an instance of <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a> (q.v.). This is the collection of all nine-sided polygons. dodecagon Dodecagon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> and an instance of <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a> (q.v.). This is the collection of all twelve-sided polygons. A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> and an instance of <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a> (q.v.). This is the collection of all six-sided polygons. hexagon Hexagon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> (q.v.). This is the collection of all three-sided polygons. Triangle triangle pentagon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> and an instance of <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a> (q.v.). This is the collection of all five-sided polygons. Pentagon Star-PlaneFigure A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4r0i5GBMkpEdmAAAACs6hRjg" class="cyc_term">Star_PlaneFigure</a> is a star-shaped plane figure with three or more points. The perimeter of a star figure is a closed <a href="http://sw.opencyc.org/concept/Mx4rvoMjlpwpEbGdrcN5Y29ycA" class="cyc_term">LineString</a> whose internal angles alternate between acute (< 180-degrees) and obtuse (> 180-degrees); the vertices of the acute angles are the "points" of the star. star OpenGISGeometryType A <a href="http://sw.opencyc.org/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> containing all of the types of geometries (specializations of <a href="http://sw.opencyc.org/concept/Mx4rOWqq-teGEdmAAAAH6Q2cKw" class="cyc_term">OpenGISGeometry</a>) that are defined in the geometry collection hierarchy of the <a href="http://sw.opencyc.org/concept/Mx4rN1IekteGEdmAAAAH6Q2cKw" class="cyc_term">OpenGISSimpleFeaturesSpecificationForSQL</a> (q.v.) document. open GIS geometry type SurfaceGeometryConcept A <a href="http://sw.opencyc.org/concept/Mx4ret7qgOKgEdmAAAACs6hfSg" class="cyc_term">ConceptTypeByDomain</a> containing the core concepts related to the geometry of <a href="http://sw.opencyc.org/concept/Mx4rvg1ZeJwpEbGdrcN5Y29ycA" class="cyc_term">Surface</a>s. surface geometry concept Facets-Generic facets-Generic A <a href="http://sw.opencyc.org/concept/Mx4rvVkGXJwpEbGdrcN5Y29ycA" class="cyc_term">TaxonomicSlotForCollections</a> and a specialization (via <a href="http://sw.opencyc.org/concept/Mx4rvWHsNJwpEbGdrcN5Y29ycA" class="cyc_term">genlInverse</a>) of <a href="http://sw.opencyc.org/concept/Mx4rvhOImJwpEbGdrcN5Y29ycA" class="cyc_term">typeGenls</a> (q.v.). This is the most general of the "faceting" predicates. <code>(<a href="http://sw.opencyc.org/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> COL COLTYPE)</code> means that <code>COLTYPE</code> corresponds to one way of dividing <code>COL</code> into subcollections. The instances of <code>COLTYPE</code> are all "the same sort" of subcollection of <code>COL</code>. For example, <a href="http://sw.opencyc.org/concept/Mx4rhz6DbnSwEdaAAACgyZzFrg" class="cyc_term">MovieTypeByGenre</a> facets <a href="http://sw.opencyc.org/concept/Mx4rv973YpwpEbGdrcN5Y29ycA" class="cyc_term">Movie_CW</a> according to movie-genre; the former's instances thus include such collections as <a href="http://sw.opencyc.org/concept/Mx4rv0pzgpwpEbGdrcN5Y29ycA" class="cyc_term">WesternMovie</a> and <a href="http://sw.opencyc.org/concept/Mx4rwFmUH5wpEbGdrcN5Y29ycA" class="cyc_term">HorrorMovie</a>. And <a href="http://sw.opencyc.org/concept/Mx4rYZUSFovbQdeY8PrkLdTqKA" class="cyc_term">FunctionTypeByRangeType</a> facets <a href="http://sw.opencyc.org/concept/Mx4rvVxAsJwpEbGdrcN5Y29ycA" class="cyc_term">Function_Denotational</a> according to the type of thing a given function returns as values; the former's instances thus include such collections as <a href="http://sw.opencyc.org/concept/Mx4rvVj62ZwpEbGdrcN5Y29ycA" class="cyc_term">IndividualDenotingFunction</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViAapwpEbGdrcN5Y29ycA" class="cyc_term">CollectionDenotingFunction</a>. Note that generic faceting does not entail that the instances of <code>COLTYPE</code> are mutually disjoint. Thus, a given film might be an instance of both <a href="http://sw.opencyc.org/concept/Mx4rwCRfN5wpEbGdrcN5Y29ycA" class="cyc_term">ChildrensMovie</a> and <a href="http://sw.opencyc.org/concept/Mx4rv2VcW5wpEbGdrcN5Y29ycA" class="cyc_term">ActionMovie</a>. Note also that generic faceting does not entail that every instance of <code>COL</code> falls under some instance of <code>COLTYPE</code>. Thus, consider the universal identity function <a href="http://sw.opencyc.org/concept/Mx4rwSspMZwpEbGdrcN5Y29ycA" class="cyc_term">IdentityFn</a>. Its range of values is so broad that it does not fall under any instance of <a href="http://sw.opencyc.org/concept/Mx4rYZUSFovbQdeY8PrkLdTqKA" class="cyc_term">FunctionTypeByRangeType</a>. Specializations of <a href="http://sw.opencyc.org/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> include <a href="http://sw.opencyc.org/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>, <a href="http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>, and <a href="http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA" class="cyc_term">facets_Partition</a>, as well as <a href="http://sw.opencyc.org/concept/Mx4rgQmwRl2xEdif1wACs2IMlQ" class="cyc_term">facets_NearCovering</a>, <a href="http://sw.opencyc.org/concept/Mx4rRA9CIljCEdiRSAACs2IMlQ" class="cyc_term">facets_NearStrict</a>, and <a href="http://sw.opencyc.org/concept/Mx4rRA9CJFjCEdiRSAACs2IMlQ" class="cyc_term">facets_NearPartition</a>. Whenever possible, one of these more specific predicates should be used. A predicate that is used to make exceptions to constraints normally imposed by some instance of <a href="http://sw.opencyc.org/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> or <a href="http://sw.opencyc.org/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ" class="cyc_term">SiblingDisjointSetOrCollectionType</a> (qq.v.). <code>(<a href="http://sw.opencyc.org/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> SETORCOL1 SETORCOL2)</code> means that the pair consisting of <code>SETORCOL1</code> and <code>SETORCOL2</code> is exempt from the disjointness constraint that would otherwise be imposed because those set-or-collections are both elements of some instance of <a href="http://sw.opencyc.org/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> or <a href="http://sw.opencyc.org/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ" class="cyc_term">SiblingDisjointSetOrCollectionType</a>. (See these collections' comments for a full explanation of the constraints.) For example, <a href="http://sw.opencyc.org/concept/Mx4rv0GdXpwpEbGdrcN5Y29ycA" class="cyc_term">SensoryNerve</a> and <a href="http://sw.opencyc.org/concept/Mx4rvWvJVpwpEbGdrcN5Y29ycA" class="cyc_term">CranialNerve</a> are both instances of <a href="http://sw.opencyc.org/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPartType</a>, which in turn is an instance of <a href="http://sw.opencyc.org/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a>. Consequently, since <a href="http://sw.opencyc.org/concept/Mx4rv0GdXpwpEbGdrcN5Y29ycA" class="cyc_term">SensoryNerve</a> is not a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvWvJVpwpEbGdrcN5Y29ycA" class="cyc_term">CranialNerve</a> (or vice versa), the two collections have a default disjointness constraint placed between them. However, such a disjointness constraint should be blocked, since any instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjLm5wpEbGdrcN5Y29ycA" class="cyc_term">OpticNerve</a> is an instance of both <a href="http://sw.opencyc.org/concept/Mx4rv0GdXpwpEbGdrcN5Y29ycA" class="cyc_term">SensoryNerve</a> and <a href="http://sw.opencyc.org/concept/Mx4rvWvJVpwpEbGdrcN5Y29ycA" class="cyc_term">CranialNerve</a>. By asserting <code>(<a href="http://sw.opencyc.org/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <a href="http://sw.opencyc.org/concept/Mx4rv0GdXpwpEbGdrcN5Y29ycA" class="cyc_term">SensoryNerve</a> <a href="http://sw.opencyc.org/concept/Mx4rvWvJVpwpEbGdrcN5Y29ycA" class="cyc_term">CranialNerve</a>)</code>, we block the disjointness constraint between those two collections, without disturbing the constraints between each of those collections and all their other (sibling) instances of the parent collection <a href="http://sw.opencyc.org/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPartType</a>. Sibling Disjoint Exceptions siblingDisjointExceptions 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 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 A <a href="http://sw.opencyc.org/concept/Mx4rvVkGXJwpEbGdrcN5Y29ycA" class="cyc_term">TaxonomicSlotForCollections</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>, <a href="http://sw.opencyc.org/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>, <a href="http://sw.opencyc.org/concept/Mx4rRA9CJFjCEdiRSAACs2IMlQ" class="cyc_term">facets_NearPartition</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVj1MJwpEbGdrcN5Y29ycA" class="cyc_term">partitionedInto</a> (qq.v.). (<a href="http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA" class="cyc_term">facets_Partition</a> COL COLTYPE) means that COLTYPE corresponds to one way of dividing the entirety of COL into disjoint subcollections. Specifically, (i) the instances of COLTYPE are all the same sort of subcollection of COL and (ii) each instance of COL is an instance of exactly one instance of of COLTYPE. For example, (<a href="http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA" class="cyc_term">facets_Partition</a> <a href="http://sw.opencyc.org/concept/Mx4rv-A-apwpEbGdrcN5Y29ycA" class="cyc_term">FixedArityFunction</a> <a href="http://sw.opencyc.org/concept/Mx4rvqt0TJwpEbGdrcN5Y29ycA" class="cyc_term">FixedArityFunctionTypeByArity</a>) holds, as each fixed-arity function has exactly one arity (see <a href="http://sw.opencyc.org/concept/Mx4rvViAzpwpEbGdrcN5Y29ycA" class="cyc_term">arity</a>). Facets-Partition facets-Partition type of polygon classified by number of sides PolygonTypeByNumberOfSides A specialization of <a href="http://sw.opencyc.org/concept/Mx4rwPRuk5wpEbGdrcN5Y29ycA" class="cyc_term">TwoDimensionalShapeType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a> is the collection of all <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a>s (q.v.) that have the same particular number of sides (see <a href="http://sw.opencyc.org/concept/Mx4rvm9LU5wpEbGdrcN5Y29ycA" class="cyc_term">numberOfEdges</a>). Instances include <a href="http://sw.opencyc.org/concept/Mx4rvVjrapwpEbGdrcN5Y29ycA" class="cyc_term">Triangle</a> and <a href="http://sw.opencyc.org/concept/Mx4rwM_725wpEbGdrcN5Y29ycA" class="cyc_term">Octagon</a>. polygon Polygon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rviHxm5wpEbGdrcN5Y29ycA" class="cyc_term">PlaneFigure</a> and #$ConnectedSpaceRegion (qq.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> is a plane figure whose boundary is one or more closed curves, each consisting of three or more straight line-segments joined end-to-end (see <a href="http://sw.opencyc.org/concept/Mx4rvoMjlpwpEbGdrcN5Y29ycA" class="cyc_term">LineString</a>). Specializations of this collection include <a href="http://sw.opencyc.org/concept/Mx4rvVjrapwpEbGdrcN5Y29ycA" class="cyc_term">Triangle</a>, <a href="http://sw.opencyc.org/concept/Mx4rv8EXxJwpEbGdrcN5Y29ycA" class="cyc_term">Hexagon</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvyHrCJwpEbGdrcN5Y29ycA" class="cyc_term">RegularPolygon</a>. See also <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a>. Required Arg 1 Pred requiredArg1Pred A <a href="http://sw.opencyc.org/concept/Mx4rwNZi3JwpEbGdrcN5Y29ycA" class="cyc_term">MetaPredicate</a> for stating that every instance of a given collection is related to some thing or things by a given predicate. <code>(<a href="http://sw.opencyc.org/concept/Mx4rvdUGBpwpEbGdrcN5Y29ycA" class="cyc_term">requiredArg1Pred</a> COL PRED)</code> means that for every instance <code>INST</code> of <code>COL</code>, there exists some sequence <code>ARGS</code> such that <code>(PRED INST . ARGS)</code> holds. For example, (<a href="http://sw.opencyc.org/concept/Mx4rvdUGBpwpEbGdrcN5Y29ycA" class="cyc_term">requiredArg1Pred</a> <a href="http://sw.opencyc.org/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a> <a href="http://sw.opencyc.org/concept/Mx4rvViz-5wpEbGdrcN5Y29ycA" class="cyc_term">hasMembers</a>) means that every organization has at least one member. See also <a href="http://sw.opencyc.org/concept/Mx4rvvftiJwpEbGdrcN5Y29ycA" class="cyc_term">requiredArg2Pred</a> and <a href="http://sw.opencyc.org/concept/Mx4rtSyCMo5bQdiKvbFrqtRipw" class="cyc_term">requiredArg3Pred</a>. type of two dimensional shape A specialization of #$SpatialThingTypeByGeometricShape (q.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rwPRuk5wpEbGdrcN5Y29ycA" class="cyc_term">TwoDimensionalShapeType</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjCpZwpEbGdrcN5Y29ycA" class="cyc_term">TwoDimensionalGeometricThing</a> (q.v.). Instances include <a href="http://sw.opencyc.org/concept/Mx4rmSmWUM7yEdmAAAACs0uFOQ" class="cyc_term">Circle</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a>. Cf. <a href="http://sw.opencyc.org/concept/Mx4rwPRuxZwpEbGdrcN5Y29ycA" class="cyc_term">ThreeDimensionalShapeType</a>. TwoDimensionalShapeType 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 OpenGISConcept Open Geospatial Consortium Concept <a href="http://sw.opencyc.org/concept/Mx4rRkivgFH_EdqAAAACs6hO_g" class="cyc_term">OpenGISConcept</a> is the collection of all Cyc concepts that correspond to some concept standardized by the Open Geospatial Consortium. Number Of Edges numberOfEdges This predicate relates a spatial thing to the number of edges it has. Also see <a href="http://sw.opencyc.org/concept/Mx4rvk7PZJwpEbGdrcN5Y29ycA" class="cyc_term">objectEdges</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVj225wpEbGdrcN5Y29ycA" class="cyc_term">EdgeOnObject</a>. polygon Polygon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rviHxm5wpEbGdrcN5Y29ycA" class="cyc_term">PlaneFigure</a> and #$ConnectedSpaceRegion (qq.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> is a plane figure whose boundary is one or more closed curves, each consisting of three or more straight line-segments joined end-to-end (see <a href="http://sw.opencyc.org/concept/Mx4rvoMjlpwpEbGdrcN5Y29ycA" class="cyc_term">LineString</a>). Specializations of this collection include <a href="http://sw.opencyc.org/concept/Mx4rvVjrapwpEbGdrcN5Y29ycA" class="cyc_term">Triangle</a>, <a href="http://sw.opencyc.org/concept/Mx4rv8EXxJwpEbGdrcN5Y29ycA" class="cyc_term">Hexagon</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvyHrCJwpEbGdrcN5Y29ycA" class="cyc_term">RegularPolygon</a>. See also <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a>. 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 A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvpHwrZwpEbGdrcN5Y29ycA" class="cyc_term">GeometricFigure</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjCpZwpEbGdrcN5Y29ycA" class="cyc_term">TwoDimensionalGeometricThing</a>, <a href="http://sw.opencyc.org/concept/Mx4rvYyzApwpEbGdrcN5Y29ycA" class="cyc_term">SurfaceRegion_Bounded</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvViEeJwpEbGdrcN5Y29ycA" class="cyc_term">FlatSurfaceRegion</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rviHxm5wpEbGdrcN5Y29ycA" class="cyc_term">PlaneFigure</a> is an intangible, self-connected, bounded, two-dimensional, geometrical figure that can be embedded in a <a href="http://sw.opencyc.org/concept/Mx4rN1T3Nlv9QdeJ7LFO9u6POw" class="cyc_term">Plane</a>. Specializations of this collection include <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjCZZwpEbGdrcN5Y29ycA" class="cyc_term">CircularRegion</a>. Note that the boundary of a plane figure is not itself an instance of <a href="http://sw.opencyc.org/concept/Mx4rviHxm5wpEbGdrcN5Y29ycA" class="cyc_term">PlaneFigure</a>, but is rather a one-dimensional, planar, closed curve (see e.g. <a href="http://sw.opencyc.org/concept/Mx4rmSmWUM7yEdmAAAACs0uFOQ" class="cyc_term">Circle</a>). geometrical plane figure PlaneFigure polygon Polygon A specialization of <a href="http://sw.opencyc.org/concept/Mx4rviHxm5wpEbGdrcN5Y29ycA" class="cyc_term">PlaneFigure</a> and #$ConnectedSpaceRegion (qq.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjVXJwpEbGdrcN5Y29ycA" class="cyc_term">Polygon</a> is a plane figure whose boundary is one or more closed curves, each consisting of three or more straight line-segments joined end-to-end (see <a href="http://sw.opencyc.org/concept/Mx4rvoMjlpwpEbGdrcN5Y29ycA" class="cyc_term">LineString</a>). Specializations of this collection include <a href="http://sw.opencyc.org/concept/Mx4rvVjrapwpEbGdrcN5Y29ycA" class="cyc_term">Triangle</a>, <a href="http://sw.opencyc.org/concept/Mx4rv8EXxJwpEbGdrcN5Y29ycA" class="cyc_term">Hexagon</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvyHrCJwpEbGdrcN5Y29ycA" class="cyc_term">RegularPolygon</a>. See also <a href="http://sw.opencyc.org/concept/Mx4rwTiY35wpEbGdrcN5Y29ycA" class="cyc_term">PolygonTypeByNumberOfSides</a>.