]> 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. AnimalShapedThing Mx4rvxkznpwpEbGdrcN5Y29ycA 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. animal most shaped animal shaped animal more shaped ClamShaped clam-shaped thing <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClamShaped" class="cyc_term">ClamShaped</a> is the instance of #$ShapeAttribute defined by the typical shape of a clam (#Clam). WormShaped worm-shaped thing <a href="http://sw.opencyc.org/2008/06/10/concept/en/WormShaped" class="cyc_term">WormShaped</a> is the instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AnimalBodyShapeType" class="cyc_term">AnimalBodyShapeType</a> defined by the typical shape of an earthworm. SpiderShaped <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpiderShaped" class="cyc_term">SpiderShaped</a> is the <a href="http://sw.opencyc.org/2008/06/10/concept/en/AnimalBodyShapeType" class="cyc_term">AnimalBodyShapeType</a> defined by the typical shape of a spider. spider-shaped thing The body shape attribute which correspond to the body shapes held by quadrupeds. That is they have four legs which support the body when in <a href="http://sw.opencyc.org/2008/06/10/concept/en/StandingOnAllLegsPosture" class="cyc_term">StandingOnAllLegsPosture</a>. By default, all four legs are used when the animal is walking upright (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/UprightPosture" class="cyc_term">UprightPosture</a>). Humans do not have this shape attribute. QuadrupedBodyShaped quadruped body shaped <a href="http://sw.opencyc.org/2008/06/10/concept/en/InsectShaped" class="cyc_term">InsectShaped</a> is the instance of #$ShapeAttribute shared by any object that resembles in shape the typical shape of any type of insect. InsectShaped insect-shaped thing jellyfish-shaped thing JellyfishShaped #$JellyFishShaped is the instance of #$ShapeAttribute defined by the typical shape of a jellyfish. <a href="http://sw.opencyc.org/2008/06/10/concept/en/BirdShaped" class="cyc_term">BirdShaped</a> is the instance of #$ShapeAttribute shared by all birds, except for rare exceptions like ostriches. BirdShaped bird-shaped thing KangarooShaped kangaroo-shaped thing <a href="http://sw.opencyc.org/2008/06/10/concept/en/KangarooShaped" class="cyc_term">KangarooShaped</a> is the shape attribute defined by the typical shape of a kangaroo (<a href="http://sw.opencyc.org/2008/06/10/concept/en/Kangaroo" class="cyc_term">Kangaroo</a>). OctopusShaped octopus-shaped thing <a href="http://sw.opencyc.org/2008/06/10/concept/en/OctopusShaped" class="cyc_term">OctopusShaped</a> is the instance of #$ShapeAttribute defined by the typical shape of an octopus. All octopi are <a href="http://sw.opencyc.org/2008/06/10/concept/en/OctopusShaped" class="cyc_term">OctopusShaped</a>. SquidShaped <a href="http://sw.opencyc.org/2008/06/10/concept/en/SquidShaped" class="cyc_term">SquidShaped</a> is the instance of #$ShapeAttribute defined by the typical shape of a squid. squid-shaped thing fish-shaped thing <a href="http://sw.opencyc.org/2008/06/10/concept/en/FishShaped" class="cyc_term">FishShaped</a> is the instance of #$ShapeAttribute defined by the typical shape of a fish (<a href="http://sw.opencyc.org/2008/06/10/concept/en/Fish" class="cyc_term">Fish</a>). FishShaped HumanoidShaped humanoid-shaped thing <a href="http://sw.opencyc.org/2008/06/10/concept/en/HumanoidShaped" class="cyc_term">HumanoidShaped</a> is the instance of #$ShapeAttribute defined by the typical shape of a humanoid. spatially disjoint object type SpatiallyDisjointObjectType A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a> is a collection C of spatial things (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThing" class="cyc_term">SpatialThing</a>), where each of the spatial things in C is spatially disjoint with the other spatial things in C. For example, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/Dog" class="cyc_term">Dog</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a>, since dogs do not spatially overlap. Even pregnant dogs do not spatially overlap the pups they bear; rather, pregnant dogs contain their unborn pups. Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/LatitudeLine" class="cyc_term">LatitudeLine</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/CompactDisc_Audio" class="cyc_term">CompactDisc_Audio</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/PlanetaryBody" class="cyc_term">PlanetaryBody</a>. An important specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointObjectType" class="cyc_term">SpatiallyDisjointObjectType</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatiallyDisjointRegionType" class="cyc_term">SpatiallyDisjointRegionType</a> (a collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GeographicalRegion" class="cyc_term">GeographicalRegion</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/en/City" class="cyc_term">City</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/TrueContinent" class="cyc_term">TrueContinent</a>). animal body shape type AnimalBodyShapeType The collection of animal body shape types; instances are specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AnimalShapedThing" class="cyc_term">AnimalShapedThing</a> which describe standard arrangements of animal body parts which are the standard body shapes. 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. 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. 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. 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. 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/PositiveDimensionalThing" class="cyc_term">PositiveDimensionalThing</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PolyDimensionalThing" class="cyc_term">PolyDimensionalThing</a> is a spatial thing that has a dimensionality of two or higher, and thus is either a two- or three- (or higher-) dimensional spatial object. Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PolyDimensionalThing" class="cyc_term">PolyDimensionalThing</a>s include tangible or intangible spatially-localized polydimensional objects, such as the flat surface of a tabletop and the table itself, as well as abstract geometrical objects that are at least two-dimensional, such as a Platonic cube. Specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PartiallyTangible" class="cyc_term">PartiallyTangible</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BilateralObject" class="cyc_term">BilateralObject</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/TwoDimensionalGeometricThing" class="cyc_term">TwoDimensionalGeometricThing</a>. PolyDimensionalThing thing with two or more dimensions 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 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