]> 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. SpaceProbe These are unmanned vehicles which are sent to other bodies in the Solar System for the purpose gathering data. Sometimes a separate vehicle is launched from the main vehicle, the smaller vehicle usually being referred to as a probe. In these cases, both vehicle would be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRwvaZwpEbGdrcN5Y29ycA" class="cyc_term">SpaceProbe</a>s in the present sense. space probe space probes http://en.wikipedia.org/wiki/Space_probe PioneerProbe The collection of all Pioneer probes. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRwvaZwpEbGdrcN5Y29ycA" class="cyc_term">SpaceProbe</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2LPSJwpEbGdrcN5Y29ycA" class="cyc_term">PioneerProbe</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Pioneer probe Ulysses Ulysses-Probe MarsExpress Mars Express Prospector LunarProspector Surveyor 2001 Surveyor2001 A probe scheduled to arrive in Martian orbit in 2001 and send a lander to the surface in 2003. Galileo Galileo-Probe Stardust-Probe Stardust Near Earth Asteroid Rendezvous Probe NearEarthAsteroidRendezvous-Probe Nozomi Probe Nozomi-Probe A Mars probe, scheduled to arrive on Mars in 2002. It was launched in July 1998. A Mars probe designed to make an unbraked landing. It landed on Mars in December 1999 and was not heard from. Mars Polar Lander MarsPolarLander the Cassini probe Cassini-Probe the Mars Pathfinder A relatively inexpensive device which landed on Mars July 4, 1997. It's purpose was to take close-up photographs of the surface and to analyze the chemical composition of the surface. Much of this work was accomplished by a small robotic run-about called the Sojourner. MarsPathfinder SpaceProbe These are unmanned vehicles which are sent to other bodies in the Solar System for the purpose gathering data. Sometimes a separate vehicle is launched from the main vehicle, the smaller vehicle usually being referred to as a probe. In these cases, both vehicle would be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRwvaZwpEbGdrcN5Y29ycA" class="cyc_term">SpaceProbe</a>s in the present sense. space probe The collection of unmanned military space platforms. unmanned space platform SpacePlatform-Unmanned SpaceProbe These are unmanned vehicles which are sent to other bodies in the Solar System for the purpose gathering data. Sometimes a separate vehicle is launched from the main vehicle, the smaller vehicle usually being referred to as a probe. In these cases, both vehicle would be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRwvaZwpEbGdrcN5Y29ycA" class="cyc_term">SpaceProbe</a>s in the present sense. space probe A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> (q.v.). Moreover, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a collection that is temporally stuff-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>) but physically-spatially object-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>) -- i.e. object-like with respect to some physical-spatial part-whole predicate (e.g. some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8a2smPXcQdiEoJhcx65EiQ" class="cyc_term">properPhysicalDecompositions</a>). Consider the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>. Further, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is temporally stuff-like: any one of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a given copy <code>COPY</code> of (say) "Moby Dick" is still a copy of "Moby Dick". (Most collections of tangible objects are temporally stuff-like in this way.) But <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is spatially object-like: if we take a scalpel and slice <code>COPY</code> into ten pieces, each piece is not a copy of "Moby Dick". So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>. ExistingObjectType type of object InformationGatheringDevice information gathering device <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7CpwpEbGdrcN5Y29ycA" class="cyc_term">InformationGathering</a> device is the subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHL5wpEbGdrcN5Y29ycA" class="cyc_term">PhysicalDevice</a> whose instances are typically used in instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7CpwpEbGdrcN5Y29ycA" class="cyc_term">InformationGathering</a>. SpaceProbe These are unmanned vehicles which are sent to other bodies in the Solar System for the purpose gathering data. Sometimes a separate vehicle is launched from the main vehicle, the smaller vehicle usually being referred to as a probe. In these cases, both vehicle would be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRwvaZwpEbGdrcN5Y29ycA" class="cyc_term">SpaceProbe</a>s in the present sense. space probe Pretty String (<a href="http://sw.opencyc.org/2008/06/10/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/2008/06/10/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 kind of artifact not distinguished by brand or model An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwO3H5pwpEbGdrcN5Y29ycA" class="cyc_term">ArtifactType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rejmDbrF_QdeIENT1qpbYzQ" class="cyc_term">ArtifactTypeByGenericCategory</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkH_ZwpEbGdrcN5Y29ycA" class="cyc_term">Artifact</a>s grouped together according to some feature(s) other than brand or model. ArtifactTypeByGenericCategory A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is a collection C of spatial things (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" 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/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" 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/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwVGrQ5wpEbGdrcN5Y29ycA" class="cyc_term">LatitudeLine</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvW4n1pwpEbGdrcN5Y29ycA" class="cyc_term">CompactDisc_Audio</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwR7UWZwpEbGdrcN5Y29ycA" class="cyc_term">PlanetaryBody</a>. An important specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> (a collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwT-n15wpEbGdrcN5Y29ycA" class="cyc_term">TrueContinent</a>). spatially disjoint object type SpatiallyDisjointObjectType SpaceProbe These are unmanned vehicles which are sent to other bodies in the Solar System for the purpose gathering data. Sometimes a separate vehicle is launched from the main vehicle, the smaller vehicle usually being referred to as a probe. In these cases, both vehicle would be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRwvaZwpEbGdrcN5Y29ycA" class="cyc_term">SpaceProbe</a>s in the present sense. space probe