]> 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. ShapedObject Mx4rwJRrmJwpEbGdrcN5Y29ycA An <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PositiveDimensionalThing" class="cyc_term">PositiveDimensionalThing</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> is a spatial object that has some well-defined shape (though what counts as a "well-defined shape" can vary from context to context); see <a href="http://sw.opencyc.org/2008/06/10/concept/en/objectShapeType" class="cyc_term">objectShapeType</a>. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/TwoDimensionalGeometricThing" class="cyc_term">TwoDimensionalGeometricThing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/AnimalShapedThing" class="cyc_term">AnimalShapedThing</a>. Contrast with <a href="http://sw.opencyc.org/2008/06/10/concept/en/AmorphousThing" class="cyc_term">AmorphousThing</a>. shaped thing http://en.wikipedia.org/wiki/Leaf_shape shaped most shaped more shaped engagement ring EngagementRing The collection of all engagement rings. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Ring_Jewelry" class="cyc_term">Ring_Jewelry</a> and #$NotVeryRoundObject. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/EngagementRing" class="cyc_term">EngagementRing</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ArtifactTypeByGenericCategory" class="cyc_term">ArtifactTypeByGenericCategory</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>. TelevisionSet television set A television set bike helmet BicycleHelmet The collection of all bike helmets, which are hard and typically aerodynamic helmets worn to protect the head during bicycling. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Helmet" class="cyc_term">Helmet</a> and #$NotVeryRoundObject. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/BicycleHelmet" class="cyc_term">BicycleHelmet</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SomethingToWearTypeByGenericCategory" class="cyc_term">SomethingToWearTypeByGenericCategory</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>. AnimalShapedThing animal shaped thing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a>. Each instance of this collection is an object with a shape that resembles the typical shape of some animal. The fruit of the cotton plant; a capsule containing cottonseeds and the downy fibers in which they are embedded. cotton boll CottonBoll A rectangular block of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Clay_Wet" class="cyc_term">Clay_Wet</a> hardened by drying in the sun or burning in a kiln and used for building, paving, etc.. Brick brick wheel shaped (CommonShapeFn Wheel) A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConventionalWeapon" class="cyc_term">ConventionalWeapon</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/PortableObject" class="cyc_term">PortableObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SmallArm_Weapon" class="cyc_term">SmallArm_Weapon</a> is a weapon that can be carried and used by one person. Specializations include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Gun_Portable" class="cyc_term">Gun_Portable</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/HandGrenade" class="cyc_term">HandGrenade</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Sidearm" class="cyc_term">Sidearm</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/CloseQuarterCombatWeapon" class="cyc_term">CloseQuarterCombatWeapon</a>. small arm SmallArm-Weapon bra shaped (CommonShapeFn Bra) The collection of all hardhats, which are a kind of saftey helmet. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Helmet" class="cyc_term">Helmet</a>, #$NotVeryRoundObject, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/SafetyDevice" class="cyc_term">SafetyDevice</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/SafetyHelmet" class="cyc_term">SafetyHelmet</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ArtifactTypeByGenericCategory" class="cyc_term">ArtifactTypeByGenericCategory</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>. hardhat SafetyHelmet The collection of all football helmets. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Helmet" class="cyc_term">Helmet</a> and #$NotVeryRoundObject. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/FootballHelmet" class="cyc_term">FootballHelmet</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/ManufacturedGoodsType" class="cyc_term">ManufacturedGoodsType</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>, and an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ArtifactTypeByGenericCategory" class="cyc_term">ArtifactTypeByGenericCategory</a>. football helmet FootballHelmet A hand tool used for prying large objects. Crowbar crowbar The collection of all portable calculator. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PersonalDevice" class="cyc_term">PersonalDevice</a>, #$NotVeryRoundObject, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/RigidPortableObject" class="cyc_term">RigidPortableObject</a>. (PortableFn Calculator) portable calculator CookingUtensil cooking utensil A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FoodUtensil" class="cyc_term">FoodUtensil</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/FoodOrDrinkPreparationDevice" class="cyc_term">FoodOrDrinkPreparationDevice</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CookingUtensil" class="cyc_term">CookingUtensil</a> is a utensil used to manipulate food while it is being prepared. The collection of all money clips. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PersonalDevice" class="cyc_term">PersonalDevice</a>, #$NotVeryRoundObject, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/RigidPortableObject" class="cyc_term">RigidPortableObject</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/MoneyClip" class="cyc_term">MoneyClip</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ArtifactTypeByGenericCategory" class="cyc_term">ArtifactTypeByGenericCategory</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>. MoneyClip money clip small caliber gun SmallCaliberGun The collection of electrical devices whose purpose is to maintain something at a lower temperature than the surroundings through refrigeration (usually through the compression/decompression of a gas). refrigerated storage device RefrigeratedStorageDevice pair of chopsticks (PairFn Chopstick) (CommonShapeFn PeanutPod) peanut pod shaped banana (FruitFn BananaTree) The collection of individual bananas. spoon Spoon An implement one can use for scooping or stirring (StuffFn (FruitFn PineapplePlant)) pineapple two dimensional shape TwoDimensionalGeometricThing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Surface" class="cyc_term">Surface</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.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TwoDimensionalGeometricThing" class="cyc_term">TwoDimensionalGeometricThing</a> is an intangible, two-dimensional, self-connected object whose shape is describable in (relatively simple) geometric terms. Instances include planes, as well as all (planar or "curved") polygons and elliptical regions. For bounded two-dimensional geometric objects that can be embedded in a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Plane" class="cyc_term">Plane</a>, see the specialization <a href="http://sw.opencyc.org/2008/06/10/concept/en/PlaneFigure" class="cyc_term">PlaneFigure</a>. 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 motorcycle helmet MotorcycleHelmet The collection of all motorcycle helmets. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Helmet" class="cyc_term">Helmet</a> and #$NotVeryRoundObject. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/MotorcycleHelmet" class="cyc_term">MotorcycleHelmet</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SomethingToWearTypeByGenericCategory" class="cyc_term">SomethingToWearTypeByGenericCategory</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>. (CommonShapeFn Dragster) dragster shaped A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThreeDimensionalThing" class="cyc_term">ThreeDimensionalThing</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.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThreeDimensionalGeometricThing" class="cyc_term">ThreeDimensionalGeometricThing</a> is a three-dimensional, self-connected object whose shape is (at least roughly) describable in relatively simple geometric terms. Examples include intangible 3-D objects (such as ideal cones and cylinders) as well as certain tangible objects (such as billard balls and dice). Specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Polyhedron" class="cyc_term">Polyhedron</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Cone" class="cyc_term">Cone</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Torus" class="cyc_term">Torus</a>. three dimensional shape ThreeDimensionalGeometricThing PistolPM pistol PM kosher utensil KosherUtensil The collection of all food utensils that have not been in contact with both meat and a food containing milk products. Three types of kosher utensils are considered: meat dishes, milk dishes, and neutral (pareve) dishes. Crutch The collection of all crutches. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RigidPortableObject" class="cyc_term">RigidPortableObject</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/PhysicalDevice" class="cyc_term">PhysicalDevice</a>, and #$NotVeryRoundObject. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Crutch" class="cyc_term">Crutch</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>. crutch ServingUtensil The collection of all serving utensils. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FoodUtensil" class="cyc_term">FoodUtensil</a> and #$NotVeryRoundObject. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/ServingUtensil" class="cyc_term">ServingUtensil</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ArtifactTypeByGenericCategory" class="cyc_term">ArtifactTypeByGenericCategory</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>. serving utensil RoundObject round thing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RoundObject" class="cyc_term">RoundObject</a> is a tangible or intangible thing with an (at least nearly) round or elliptical shape in a least one dimension. A round object might be one-dimensional (e.g. a ring that bounds a 2-D <a href="http://sw.opencyc.org/2008/06/10/concept/en/Circle" class="cyc_term">Circle</a>), two-dimensional (e.g. an intangible <a href="http://sw.opencyc.org/2008/06/10/concept/en/Ellipse" class="cyc_term">Ellipse</a>) or three-dimensional (e.g. a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Sphere" class="cyc_term">Sphere</a> or a chicken egg). Other specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RoundObject" class="cyc_term">RoundObject</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Cone" class="cyc_term">Cone</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Ball" class="cyc_term">Ball</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Hemisphere" class="cyc_term">Hemisphere</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/RingShapedObject" class="cyc_term">RingShapedObject</a>. hockey stick HockeyStick The stick with which the puck is manipulated in a Hockey game. A helmet worn while playing hockey. HockeyHelmet hockey helmet Hammer A hand tool used for pounding and possibly for prying. Comprised of a handle and a heavy head with one blunt end for pounding; the other end of the head may be forked or wedged for prying. hammer (PortableFn DigitalAudioRecorder) A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PersonalDevice" class="cyc_term">PersonalDevice</a>, #$NotVeryRoundObject, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/RigidPortableObject" class="cyc_term">RigidPortableObject</a>. portable digital audio recorder The collection of all shoe horns. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/HandTool" class="cyc_term">HandTool</a>, #$NotVeryRoundObject, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/RigidPortableObject" class="cyc_term">RigidPortableObject</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/Shoehorn" class="cyc_term">Shoehorn</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ArtifactTypeByFunction" class="cyc_term">ArtifactTypeByFunction</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>. Shoehorn shoe horn The collection of all sticks. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RigidPortableObject" class="cyc_term">RigidPortableObject</a> and #$NotVeryRoundObject. (PortableFn (DeadPhysicalRemainsFn TreeBranch)) stick A helmet worn while riding horses. RidingHelmet riding helmet A kind of knife used to cut food during its preparation - much sharper than one used during eating. carving knife CarvingKnife kayak paddle KayakPaddle Paddle with a blade on both ends that is used in Kayaking. shovel Shovel A hand tool used for cutting or moving soft or granulated materials like soil and sand. Comprised of a long handle and a concave head with a sharp edge. X-shaped wrench used to remove lug nuts from automobile wheels TireIron tire iron boat shaped (CommonShapeFn Boat) FireHelmet fire helmet The collection of all fire helmets. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Helmet" class="cyc_term">Helmet</a>, #$NotVeryRoundObject, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/FirefightingEquipment" class="cyc_term">FirefightingEquipment</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/FireHelmet" class="cyc_term">FireHelmet</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ArtifactTypeByGenericCategory" class="cyc_term">ArtifactTypeByGenericCategory</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>. SheetShapedObject A specilization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/SolidTangibleThing" class="cyc_term">SolidTangibleThing</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SheetShapedObject" class="cyc_term">SheetShapedObject</a> is an object that is flat and spread out, planar, and neither fully crumpled nor compactly folded. Such an object has two opposing surfaces that are both <a href="http://sw.opencyc.org/2008/06/10/concept/en/FlatSurfaceRegion" class="cyc_term">FlatSurfaceRegion</a>s (q.v.); its other surfaces have much smaller area than the two main flat surfaces. Thus, one of the three orthogonal dimensions (length, width or height) of a sheet-shaped object is much smaller than the other two. Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SheetShapedObject" class="cyc_term">SheetShapedObject</a> include a layer of ice over a pond and a piece of plywood. A bedspread is a sheet-shaped object only if it is not folded into a small volume or crumpled. (See #$CurrentShapeVsIntrinsicShape.) For describing a sheet of something (e.g. waxed paper, aluminum foil, cloth) regardless of its current shape, use <a href="http://sw.opencyc.org/2008/06/10/concept/en/SheetOfSomeStuff" class="cyc_term">SheetOfSomeStuff</a>. For "one-sided" surfaces, use a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SurfaceRegion" class="cyc_term">SurfaceRegion</a>. panel key A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RigidPortableObject" class="cyc_term">RigidPortableObject</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Device_UserPowered" class="cyc_term">Device_UserPowered</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/KeyOfLock" class="cyc_term">KeyOfLock</a> is a key intended to open a certain lock or locks. KeyOfLock pick Pickaxe The collection of hafted <a href="http://sw.opencyc.org/2008/06/10/concept/en/HandTool" class="cyc_term">HandTool</a>s called "picks" or "pickaxes" used for breaking hard materials like rock or hard-packed soil. A pick is comprised of a long (often wooden) handle and a pair of heavy blades that come to a somewhat blunt point or short line segment. geometric form that is also a thing with two or more dimensions (CollectionIntersection2Fn GeometricallyDescribableThing PolyDimensionalThing) SilverwarePiece Not necessarily silver - eating implements like knife, fork, spoon. These are not <a href="http://sw.opencyc.org/2008/06/10/concept/en/GraspingImplement" class="cyc_term">GraspingImplement</a>s. silverware viking hat The collection of stereotypical Viking helms with two horns stiking out of it. Invented in the 19th century for use as an operatic costume. VikingHat The collection of all chisels, <a href="http://sw.opencyc.org/2008/06/10/concept/en/HandTool" class="cyc_term">HandTool</a>s used to carve <a href="http://sw.opencyc.org/2008/06/10/concept/en/Wood" class="cyc_term">Wood</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/en/StoneStuff" class="cyc_term">StoneStuff</a>. Chisel chisel oar The large paddle used to push a boat or raft through the water by hand. An oar has a blade at exactly one end of the pole. Oar cellular phone CellularTelephone Cellular mobile telephone unit usually used in automobiles board Board-PieceOfWood The collection of all boards. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Lumber" class="cyc_term">Lumber</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinearObject_Tangible" class="cyc_term">LinearObject_Tangible</a>, #$NotVeryRoundObject, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/RigidPortableObject" class="cyc_term">RigidPortableObject</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Board_PieceOfWood" class="cyc_term">Board_PieceOfWood</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>. ShapedObject An <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PositiveDimensionalThing" class="cyc_term">PositiveDimensionalThing</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> is a spatial object that has some well-defined shape (though what counts as a "well-defined shape" can vary from context to context); see <a href="http://sw.opencyc.org/2008/06/10/concept/en/objectShapeType" class="cyc_term">objectShapeType</a>. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/TwoDimensionalGeometricThing" class="cyc_term">TwoDimensionalGeometricThing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/AnimalShapedThing" class="cyc_term">AnimalShapedThing</a>. Contrast with <a href="http://sw.opencyc.org/2008/06/10/concept/en/AmorphousThing" class="cyc_term">AmorphousThing</a>. shaped thing ShapedObject An <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PositiveDimensionalThing" class="cyc_term">PositiveDimensionalThing</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> is a spatial object that has some well-defined shape (though what counts as a "well-defined shape" can vary from context to context); see <a href="http://sw.opencyc.org/2008/06/10/concept/en/objectShapeType" class="cyc_term">objectShapeType</a>. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/TwoDimensionalGeometricThing" class="cyc_term">TwoDimensionalGeometricThing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/AnimalShapedThing" class="cyc_term">AnimalShapedThing</a>. Contrast with <a href="http://sw.opencyc.org/2008/06/10/concept/en/AmorphousThing" class="cyc_term">AmorphousThing</a>. shaped thing PositiveDimensionalThing A <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThingTypeByDimensionality" class="cyc_term">SpatialThingTypeByDimensionality</a> and 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/PositiveDimensionalThing" class="cyc_term">PositiveDimensionalThing</a> is a spatial thing having a positive (i.e. non-zero) number of dimensions, and thus is either a one- or two- or three- (or higher-) dimensional spatial object. Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PositiveDimensionalThing" class="cyc_term">PositiveDimensionalThing</a>s include tangible or intangible spatially-localized objects, such as the edge of a tabletop, the surface of the tabletop, and the table itself, as well as abstract geometrical objects that are at least one-dimensional, such as a Platonic circle or cube. Excluded from this collection are geometrical <a href="http://sw.opencyc.org/2008/06/10/concept/en/Point" class="cyc_term">Point</a>s and any other <a href="http://sw.opencyc.org/2008/06/10/concept/en/ZeroDimensionalThing" class="cyc_term">ZeroDimensionalThing</a>s. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PositiveDimensionalThing" class="cyc_term">PositiveDimensionalThing</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/ExtendedSpaceRegion" class="cyc_term">ExtendedSpaceRegion</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/PolyDimensionalThing" class="cyc_term">PolyDimensionalThing</a>. spatial thing with one or more dimensions type of object The collection of all collections that are "object-like" in at least one respect. A collection <code>COL</code> is object-like just in case there is some sense of 'part' according to which any (or nearly any) given proper part of an instance of <code>COL</code> is not itself an instance of <code>COL</code>; when this happens <code>COL</code> is said to be object-like with respect to that sense of 'part'. More precisely, for a collection <code>COL</code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a> it is sufficient that there be some specialization <code>PARTPRED</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/en/properParts" class="cyc_term">properParts</a> such that, for any <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(PARTPRED OBJ1 OBJ2)</code> both hold, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> OBJ2 COL)</code> does not hold. (Also sufficient for <code>COL</code>'s being an object-type is that there be some specialization <code>INVPARTPRED</code> of the inverse of <a href="http://sw.opencyc.org/2008/06/10/concept/en/properParts" class="cyc_term">properParts</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/genlInverse" class="cyc_term">genlInverse</a>) such that <code>(INVPARTPRED OBJ2 OBJ1)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code>COL</code>'s being an object-type is strictly necessary: some exceptions are allowed. Thus as long as either one of the above conditionals holds in nearly all cases, <code>COL</code> should be considered an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>. Here are two examples. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/en/Automobile" class="cyc_term">Automobile</a>. Take an instance of that, say my car. Now consider one of the proper <a href="http://sw.opencyc.org/2008/06/10/concept/en/physicalParts" class="cyc_term">physicalParts</a> of my car, say the steering wheel. The steering wheel is not an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Automobile" class="cyc_term">Automobile</a>. And the same would be true for any proper physical part of any car. So <a href="http://sw.opencyc.org/2008/06/10/concept/en/Automobile" class="cyc_term">Automobile</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/en/CalendarYear" class="cyc_term">CalendarYear</a>. No proper <a href="http://sw.opencyc.org/2008/06/10/concept/en/timeSlices" class="cyc_term">timeSlices</a> of a year is itself a year. So <a href="http://sw.opencyc.org/2008/06/10/concept/en/CalendarYear" class="cyc_term">CalendarYear</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/en/StuffType" class="cyc_term">StuffType</a> for the contrasting (though not disjoint) notion of being stuff-like. ObjectType ShapedObject An <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PositiveDimensionalThing" class="cyc_term">PositiveDimensionalThing</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> is a spatial object that has some well-defined shape (though what counts as a "well-defined shape" can vary from context to context); see <a href="http://sw.opencyc.org/2008/06/10/concept/en/objectShapeType" class="cyc_term">objectShapeType</a>. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/TwoDimensionalGeometricThing" class="cyc_term">TwoDimensionalGeometricThing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/AnimalShapedThing" class="cyc_term">AnimalShapedThing</a>. Contrast with <a href="http://sw.opencyc.org/2008/06/10/concept/en/AmorphousThing" class="cyc_term">AmorphousThing</a>. shaped thing (<a href="http://sw.opencyc.org/2008/06/10/concept/en/wikipediaArticleURL" class="cyc_term">wikipediaArticleURL</a> THING URL) means that in #$Wikipedia-WebSite THING is described by an article located at URL wikipediaArticleURL wikipediaArticleURL candidate KB completeness node CandidateKBCompletenessNode BT <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/broaderTerm" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> means that <code>TERM2</code> is broader than <code>TERM1</code>, in an extremely general sense of "broader". For example, <code>TERM2</code> is, in the relevant sense, broader than <code>TERM1</code> if any of the following hold: <code>TERM2</code> is a collection that subsumes <code>TERM1</code>; <code>TERM2</code> is a collection that has <code>TERM1</code> as an instance; <code>TERM2</code> is a collection, instances of which have instances of the collection <code>TERM1</code> as parts; <code>TERM2</code> has <code>TERM1</code> as a part; This list of reasons for why <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/broaderTerm" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> could hold is not exhaustive, but it should give a good indication of how general the <a href="http://sw.opencyc.org/2008/06/10/concept/en/broaderTerm" class="cyc_term">broaderTerm</a> relation actually is. broaderTerm ShapedObject An <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PositiveDimensionalThing" class="cyc_term">PositiveDimensionalThing</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> is a spatial object that has some well-defined shape (though what counts as a "well-defined shape" can vary from context to context); see <a href="http://sw.opencyc.org/2008/06/10/concept/en/objectShapeType" class="cyc_term">objectShapeType</a>. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ShapedObject" class="cyc_term">ShapedObject</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/TwoDimensionalGeometricThing" class="cyc_term">TwoDimensionalGeometricThing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/AnimalShapedThing" class="cyc_term">AnimalShapedThing</a>. Contrast with <a href="http://sw.opencyc.org/2008/06/10/concept/en/AmorphousThing" class="cyc_term">AmorphousThing</a>. shaped thing SpatiallyContinuousThing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThing" class="cyc_term">SpatialThing</a>. For every instance REGION of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyContinuousThing" class="cyc_term">SpatiallyContinuousThing</a>, any two points it subsumes are connected by some path it also subsumes. Positive exemplars include a drinking glass, a haystack, a spiderweb, or a region of space in the shape of any of these things. If the glass is broken and its pieces no longer touch each other, it is not a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyContinuousThing" class="cyc_term">SpatiallyContinuousThing</a>. Some borderline exemplars depend on granularity. At a macroscopic level of granularity, a dense cloud of smoke is effectively continuous. On the microscopic level, it is composed of independent particles that do not touch each other. spatially continuous thing 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