]> 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. A collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZbnSZwpEbGdrcN5Y29ycA" class="cyc_term">CelestialRegion</a> which are normally distinguished by a particular asterism that is intended to depict some object. The celestial sphere is completely covered with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPuslJwpEbGdrcN5Y29ycA" class="cyc_term">Constellation</a>s, which do not overlap. This is the more formal notion of 'constellation' used by astronomers. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDl_RpwpEbGdrcN5Y29ycA" class="cyc_term">UrsaMajor_Constellation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVqIcJwpEbGdrcN5Y29ycA" class="cyc_term">Orion_Constellation</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv47-F5wpEbGdrcN5Y29ycA" class="cyc_term">Asterism</a>, which is the more informal notion of 'constellation'. constellation Constellation constellations http://en.wikipedia.org/wiki/Constellation zodiac constellation The collection of the 12 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPuslJwpEbGdrcN5Y29ycA" class="cyc_term">Constellation</a>s which represent the 12 signs of the zodiac used in Western astrology. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWB0gpwpEbGdrcN5Y29ycA" class="cyc_term">Leo_Constellation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8JCQ5wpEbGdrcN5Y29ycA" class="cyc_term">Aries_Constellation</a> are instances. ZodiacConstellation Corona Australis CoronaAustralis-Constellation The constellation Corona Australis, the Southern Crown. Reticulum Reticulum-Constellation The constellation Reticulum, the Reticle. Triangulum The constellation Triangulum, the Triangle. Triangulum-Constellation Antlia Antlia-Constellation The constellation Antlia, the Air Pump. The constellation Pegasus, the Winged Horse, which depicts the mythological creature Pegasus. Pegasus Pegasus-Constellation Pyxis-Constellation The constellation Pyxis, the Compass. Pyxis ComaBerenices-Constellation Coma Berenices The constellation Coma Berenices, which depicts the hair of Berenice, the wife of Ptolemy III of Egypt. The constellation Canis Minor, the Little Dog. Canis Minor CanisMinor-Constellation Musca Musca-Constellation The constellation Musca, the Fly. Columba The constellation Columba, the Dove. Columba-Constellation Leo Minor LeoMinor-Constellation The constellation Leo Minor, the Lesser Lion. Octans-Constellation Octans The constellation Octans, the Octant. Pictor-Constellation The constellation Pictor, the Painter's easel. Pictor The constellation Cetus, the Whale. Cetus Cetus-Constellation The constellation Ursa Minor, the Little Bear. Ursa Minor UrsaMinor-Constellation The constellation Hercules, which depicts the mythological hero Hercules. Hercules Hercules-Constellation The constellation Horologium, the Pendulum Clock. Horologium Horologium-Constellation The constellation Corvus, the Crow. Corvus-Constellation Corvus UrsaMajor-Constellation Ursa Major The constellation Ursa Major, the Big Bear. The constellation Chamaeleon, the Chameleon. Chamaeleon-Constellation Chamaeleon CanisMajor-Constellation The constellation Canis Major, the Big Dog, which contains Sirius, the brightest star in the sky. Canis Major Piscis Austrinus PiscisAustrinus-Constellation The constellation Piscis Austrinus, the Southern Fish. Carina-Constellation Carina The constellation Carina, the Keel of the ship Argo. The constellation Camelopardalis, the Giraffe. Camelopardalis Camelopardalis-Constellation The constellation Tucana, the Toucan. Tucana Tucana-Constellation Dorado Dorado-Constellation The constellation Dorado, the Goldfish. The constellation Grus, the Crane. Grus-Constellation Grus The constellation Indus, which depicts an American Indian. Indus-Constellation Indus Norma-Constellation The constellation Norma, the Level. Norma The constellation Cassiopeia, which depicts Queen Cassiopeia, the wife of King Cepheus and mother of Andromeda. Cassiopeia-Constellation Cassiopeia Sagitta Sagitta-Constellation The constellation Sagitta, the Arrow. CoronaBorealis-Constellation Corona Borealis The constellation Corona Borealis, the Northern Crown. Bootes Bootes-Constellation The constellation Bootes, the Herdsman. The constellation Andromeda, which depicts Andromeda, the daughter of King Cepheus and Queen Cassiopeia. Andromeda-Constellation Andromeda Lynx The constellation Lynx, which depicts a Lynx. Lynx-Constellation Eridanus The constellation Eridanus, the River. Eridanus-Constellation Fornax The constellation Fornax, the Furnace. Fornax-Constellation Volans Volans-Constellation The constellation Volans, the Flying Fish. Vela-Constellation Vela The constellation Vela, the Sail of the ship Argo. Phoenix-Constellation Phoenix The constellation Phoenix, which depicts the Phoenix, the mythical bird which rises from its own ashes. The constellation Lyra, the Lyre. Lyra-Constellation Lyra Vulpecula-Constellation The constellation Vulpecula, the Fox. Vulpecula The constellation Equuleus, the Little Horse. Equuleus Equuleus-Constellation The constellation Canes Venatici, the Hunting Dogs. CanesVenatici-Constellation CanesVenatici Sextans-Constellation The constellation Sextans, the Sextant. Sextans Microscopium Microscopium-Constellation The constellation Microscopium, the Microscope. Circinus Circinus-Constellation The constellation Circinus, the Compass. The constellation Aquila, the Eagle. Aquila-Constellation Aquila The constellation Pavo, the Peacock. Pavo Pavo-Constellation Lupus-Constellation The constellation Lupus, the Wolf. Lupus The constellation Cygnus, the Swan. Cygnus-Constellation Cygnus Telescopium Telescopium-Constellation The constellation Telescopium, the Telescope. Monoceros-Constellation Monoceros The constellation Monoceros, the Unicorn. Ara-Constellation The constellation Ara, the Altar. Ara The constellation Apus, the Bird of Paradise. Apus Apus-Constellation Triangulum Australe TriangulumAustrale-Constellation The constellation Triangulum Australe, the Southern Triangle. Scutum-Constellation Scutum The constellation Scutum, the Shield. Auriga Auriga-Constellation The constellation Auriga, which depicts Auriga the Charioteer. The constellation Crux, the Southern Cross. Crux-Constellation Crux The constellation Hydrus, the Lesser Snake. Hydrus-Constellation Hydrus Sculptor The constellation Sculptor, which depicts a sculptor's studio. Sculptor-Constellation The constellation Puppis, the Stern of the ship Argo. Puppis Puppis-Constellation The constellation Mensa, the Table Mountain, which depicts the Table Mountain at the Cape of Good Hope. Mensa Mensa-Constellation Centaurus-Constellation The constellation Centaurus, the Centaur. Centaurus Draco-Constellation Draco The constellation Draco, the Dragon. Cepheus The constellation Cepheus, which depicts King Cepheus, the husband of Queen Cassiopeia and father of Andromeda. Cepheus-Constellation Lepus The constellation Lepus, the Hare. Lepus-Constellation The constellation Hydra, which depicts the mythological monster the Hydra. Hydra-Constellation Hydra The constellation Perseus, which depicts the mythological hero Perseus. Perseus-Constellation Perseus The constellation Orion, the Hunter. Orion-Constellation Orion The constellation Caelum, the Engraving Tool. Caelum Caelum-Constellation Serpens Serpens-Constellation The constellation Serpens, the Serpent. The constellation Crater, the Cup (or Goblet). Crater-Constellation Crater Lacerta-Constellation Lacerta The constellation Lacerta, the Lizard. Delphinus-Constellation The constellation Delphinus, the Dolphin. Delphinus Ophiuchus The constellation Ophiuchus, the Serpent Bearer. Ophiuchus-Constellation A collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZbnSZwpEbGdrcN5Y29ycA" class="cyc_term">CelestialRegion</a> which are normally distinguished by a particular asterism that is intended to depict some object. The celestial sphere is completely covered with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPuslJwpEbGdrcN5Y29ycA" class="cyc_term">Constellation</a>s, which do not overlap. This is the more formal notion of 'constellation' used by astronomers. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDl_RpwpEbGdrcN5Y29ycA" class="cyc_term">UrsaMajor_Constellation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVqIcJwpEbGdrcN5Y29ycA" class="cyc_term">Orion_Constellation</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv47-F5wpEbGdrcN5Y29ycA" class="cyc_term">Asterism</a>, which is the more informal notion of 'constellation'. constellation Constellation A collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZbnSZwpEbGdrcN5Y29ycA" class="cyc_term">CelestialRegion</a> which are normally distinguished by a particular asterism that is intended to depict some object. The celestial sphere is completely covered with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPuslJwpEbGdrcN5Y29ycA" class="cyc_term">Constellation</a>s, which do not overlap. This is the more formal notion of 'constellation' used by astronomers. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDl_RpwpEbGdrcN5Y29ycA" class="cyc_term">UrsaMajor_Constellation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVqIcJwpEbGdrcN5Y29ycA" class="cyc_term">Orion_Constellation</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv47-F5wpEbGdrcN5Y29ycA" class="cyc_term">Asterism</a>, which is the more informal notion of 'constellation'. constellation Constellation 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 celestial object CelestialObject A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjReJwpEbGdrcN5Y29ycA" class="cyc_term">AstronomicalObject</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-n4BEPzcQdaYSaNf0XKNIw" class="cyc_term">CelestialObject</a> is an astronomical object that is visible in the heavens from the surface of the Earth, without the aid of artificial optical instruments. A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-n4BEPzcQdaYSaNf0XKNIw" class="cyc_term">CelestialObject</a> might be either an individual heavenly body (see the specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQs5wpEbGdrcN5Y29ycA" class="cyc_term">CelestialBody</a>) or a group or system made up of such bodies (e.g. a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPuslJwpEbGdrcN5Y29ycA" class="cyc_term">Constellation</a>). A collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZbnSZwpEbGdrcN5Y29ycA" class="cyc_term">CelestialRegion</a> which are normally distinguished by a particular asterism that is intended to depict some object. The celestial sphere is completely covered with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPuslJwpEbGdrcN5Y29ycA" class="cyc_term">Constellation</a>s, which do not overlap. This is the more formal notion of 'constellation' used by astronomers. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDl_RpwpEbGdrcN5Y29ycA" class="cyc_term">UrsaMajor_Constellation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVqIcJwpEbGdrcN5Y29ycA" class="cyc_term">Orion_Constellation</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv47-F5wpEbGdrcN5Y29ycA" class="cyc_term">Asterism</a>, which is the more informal notion of 'constellation'. constellation Constellation A collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZbnSZwpEbGdrcN5Y29ycA" class="cyc_term">CelestialRegion</a> which are normally distinguished by a particular asterism that is intended to depict some object. The celestial sphere is completely covered with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPuslJwpEbGdrcN5Y29ycA" class="cyc_term">Constellation</a>s, which do not overlap. This is the more formal notion of 'constellation' used by astronomers. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDl_RpwpEbGdrcN5Y29ycA" class="cyc_term">UrsaMajor_Constellation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVqIcJwpEbGdrcN5Y29ycA" class="cyc_term">Orion_Constellation</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv47-F5wpEbGdrcN5Y29ycA" class="cyc_term">Asterism</a>, which is the more informal notion of 'constellation'. constellation Constellation 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 The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> that are used by the #$KRAKEN application to resolve natural language ambiguities. KE clarifying collection type KEClarifyingCollectionType 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 CelestialRegion celestial region A collection of spatial regions of the celestial sphere. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZbnSZwpEbGdrcN5Y29ycA" class="cyc_term">CelestialRegion</a> is a region of the sky that may be represented on a map of the sky as seen from a frame of reference which is fixed with respect to the stars. In this sense, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZbnSZwpEbGdrcN5Y29ycA" class="cyc_term">CelestialRegion</a> is the 'sky' analog of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>. A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZbnSZwpEbGdrcN5Y29ycA" class="cyc_term">CelestialRegion</a> may be intangible. A collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZbnSZwpEbGdrcN5Y29ycA" class="cyc_term">CelestialRegion</a> which are normally distinguished by a particular asterism that is intended to depict some object. The celestial sphere is completely covered with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPuslJwpEbGdrcN5Y29ycA" class="cyc_term">Constellation</a>s, which do not overlap. This is the more formal notion of 'constellation' used by astronomers. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDl_RpwpEbGdrcN5Y29ycA" class="cyc_term">UrsaMajor_Constellation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVqIcJwpEbGdrcN5Y29ycA" class="cyc_term">Orion_Constellation</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv47-F5wpEbGdrcN5Y29ycA" class="cyc_term">Asterism</a>, which is the more informal notion of 'constellation'. constellation Constellation