]> 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 collections, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk05wpEbGdrcN5Y29ycA" class="cyc_term">RegionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> is a collection of geographical regions, where each of the regions in the collection is spatially disjoint with the other regions in the collection. For example, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a>, since the territories of U.S. states do not overlap. Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj3zpwpEbGdrcN5Y29ycA" class="cyc_term">CanadianProvince</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>, <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/Mx4r7UPPpMkuEdmAAAACs6hRjg" class="cyc_term">Colony_GeopoliticalEntity</a>. A non-example is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKJ5wpEbGdrcN5Y29ycA" class="cyc_term">EcologicalRegion</a>, since ecological regions can overlap. region type whose instances are non-overlapping region types SpatiallyDisjointRegionType type of spatially disjoint region types of spatially disjoint region region types whose instances are non-overlapping region types <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r5qAYTKMNEdqAAAACs6hO_g" class="cyc_term">CountrySubsidiaryTypeByAdministrativeDivision</a> is a faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMAYTJwpEbGdrcN5Y29ycA" class="cyc_term">CountrySubsidiary</a> according to administrative subdivision. It's instances are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6Ki-3KMNEdqAAAACs6hO_g" class="cyc_term">FirstOrderAdministrativeDivision</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rKGoMuqMOEdqAAAACs6hO_g" class="cyc_term">SecondOrderAdministrativeDivision</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rM0XWvqMOEdqAAAACs6hO_g" class="cyc_term">ThirdOrderAdministrativeDivision</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOjEbgqMOEdqAAAACs6hO_g" class="cyc_term">FourthOrderAdministrativeDivision</a>. First order subdivisions of a country are directly below the federal level, such as states in the United States. Second order subdivisions are the immediate subdivisions of a first order subdivision, such as counties in a state in the United States. Similarly for third and fourth order subdivisions. country subsidiary type by administrative division CountrySubsidiaryTypeByAdministrativeDivision non-overlapping geopolitical entity GeopoliticalEntityTypeByNonOverlappingJurisdiction A collection of collections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPJJhlM0SQdeDhsNnnhQekw" class="cyc_term">GeopoliticalEntityTypeByNonOverlappingJurisdiction</a> are subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> members of which have jurisdictions that do not overlap. USNationalGrasslandDistrict U.S. national grassland district national forest in Louisiana (NationalForestsInFn Louisiana-State) national forest in Virginia (NationalForestsInFn Virginia-State) (NationalForestsInFn Mississippi-State) national forest in Mississippi (NationalForestsInFn Connecticut-State) national forest in Connecticut (NationalForestsInFn NewMexico-State) national forest in New Mexico (NationalForestsInFn Wisconsin-State) national forest in Wisconsin (NationalForestsInFn Michigan-State) national forest in Michigan (NationalForestsInFn Nevada-State) national forest in Nevada (NationalForestsInFn France) French national forest national forest in Minnesota (NationalForestsInFn Minnesota-State) (NationalForestsInFn Kansas-State) national forest in Kansas (NationalForestsInFn Maine-State) national forest in Maine (NationalForestsInFn Washington-State) national forest in Washington (NationalForestsInFn Illinois-State) national forest in Illinois The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwVAaWpwpEbGdrcN5Y29ycA" class="cyc_term">Forest</a> whose use is regulated by an agency of an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>. national forest NationalForest (NationalForestsInFn Massachusetts-State) national forest in Massachusetts national forest in Missouri (NationalForestsInFn Missouri-State) national forest in Arkansas (NationalForestsInFn Arkansas-State) EcologicalRegionDistrict ecological region district national forest in Nebraska (NationalForestsInFn Nebraska-State) (NationalForestsInFn Utah-State) national forest in Utah (NationalForestsInFn WestVirginia-State) national forest in West Virginia street block A collection of artificial paths. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvm7gZpwpEbGdrcN5Y29ycA" class="cyc_term">BlockOfStreet</a> is a segment of an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1FJwpEbGdrcN5Y29ycA" class="cyc_term">Street_Generic</a> that extends from one intersection (of that street with another) to the next (i.e. the nearest intersection -- going in either direction -- of that street with yet another street). Normally, only streets in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjK7JwpEbGdrcN5Y29ycA" class="cyc_term">UrbanArea</a>s are divided into street blocks. BlockOfStreet (NationalForestsInFn NorthDakota-State) national forest in North Dakota (NationalForestsInFn Alaska-State) national forest in Alaska TrueContinent A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjp1ZwpEbGdrcN5Y29ycA" class="cyc_term">LandBody</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkLu5wpEbGdrcN5Y29ycA" class="cyc_term">Continent</a> (q.v.). The current instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwT-n15wpEbGdrcN5Y29ycA" class="cyc_term">TrueContinent</a> (on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkL_pwpEbGdrcN5Y29ycA" class="cyc_term">PlanetEarth</a>) are the four main land masses on the surface of the earth that are surrounded by water: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvvODEpwpEbGdrcN5Y29ycA" class="cyc_term">EasternContinent</a> (which includes Africa, Asia, and Europe), <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHKBVJwpEbGdrcN5Y29ycA" class="cyc_term">WesternContinent</a> (which includes North and South America), <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViPRpwpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfAntarctica</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9tl95wpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfAustralia</a>. true continent national forest in Montana (NationalForestsInFn Montana-State) US state forest USStateForest national forest in Delaware (NationalForestsInFn Delaware-State) (NationalForestsInFn UnitedStatesOfAmerica) U.S. national forest national forest in South Carolina (NationalForestsInFn SouthCarolina-State) (NationalForestsInFn Tennessee-State) national forest in Tennessee (NationalForestsInFn Hawaii-State) national forest in Hawaii U.S. congressional district The collection of all US congressional districts. An election for the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIBWeonXbQdeHEdLekSK2AA" class="cyc_term">USHouseOfRepresentatives</a> is open to registered residents of a congressional district, and not to those resident outside its borders. A congressperon from a district represents all the residents of that district. FederalCongressionalDistrict national forest in Texas (NationalForestsInFn Texas-State) (NationalForestsInFn Georgia-State) national forest in Georgia national forest in New York (NationalForestsInFn NewYork-State) (NationalForestsInFn Idaho-State) national forest in Idaho national forest in Arizona (NationalForestsInFn Arizona-State) (NationalForestsInFn Indiana-State) national forest in Indiana The collection of districts (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r2XVziug9EduAAADggVbxzQ" class="cyc_term">geographicalDistricts</a>) of national forests. U.S. national forest district USNationalForestDistrict (NationalForestsInFn Vermont-State) national forest in Vermont (NationalForestsInFn Maryland-State) national forest in Maryland (NationalForestsInFn Alabama-State) national forest in Alabama national forest in Kentucky (NationalForestsInFn Kentucky-State) USDAFSRegion USDAFS region (NationalForestsInFn Iowa-State) national forest in Iowa regionally partitioned USDAFS region RegionallyPartitionedUSDAFSRegion (NationalForestsInFn NewHampshire-State) national forest in New Hampshire (NationalForestsInFn Oklahoma-State) national forest in Oklahoma national forest in South Dakota (NationalForestsInFn SouthDakota-State) (NationalForestsInFn Pennsylvania-State) national forest in Pennsylvania national forest in North Carolina (NationalForestsInFn NorthCarolina-State) national forest in Ohio (NationalForestsInFn Ohio-State) national forest in Florida (NationalForestsInFn Florida-State) national forest in New Jersey (NationalForestsInFn NewJersey-State) national forest in California (NationalForestsInFn California-State) (NationalForestsInFn RhodeIsland-State) national forest in Rhode Island (NationalForestsInFn Wyoming-State) national forest in Wyoming city block A collection of urban regions. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfS3MJwpEbGdrcN5Y29ycA" class="cyc_term">CityBlock</a> are usually roughly rectangular regions within cities or towns that are bounded by four streets running approximately at right angles to each other, and such that they do not spatially subsume any other such regions. City blocks are often divided into one or more instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj2ApwpEbGdrcN5Y29ycA" class="cyc_term">LotOfLand</a>, on which typically stand houses or other buildings. CityBlock (NationalForestsInFn Oregon-State) national forest in Oregon national forest in Colorado (NationalForestsInFn Colorado-State) USNationalGrassland U.S. national grassland The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection A collection of collections, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk05wpEbGdrcN5Y29ycA" class="cyc_term">RegionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> is a collection of geographical regions, where each of the regions in the collection is spatially disjoint with the other regions in the collection. For example, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a>, since the territories of U.S. states do not overlap. Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj3zpwpEbGdrcN5Y29ycA" class="cyc_term">CanadianProvince</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>, <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/Mx4r7UPPpMkuEdmAAAACs6hRjg" class="cyc_term">Colony_GeopoliticalEntity</a>. A non-example is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKJ5wpEbGdrcN5Y29ycA" class="cyc_term">EcologicalRegion</a>, since ecological regions can overlap. region type whose instances are non-overlapping region types SpatiallyDisjointRegionType objects-spatial-topic Objects-Spatial-Topic geography-topic An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQuFAV2xEdif1wACs2IMlQ" class="cyc_term">Geography_Topic</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a> which (in some significant sense) has to do with the topic of geography. Geography-Topic A collection of collections, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk05wpEbGdrcN5Y29ycA" class="cyc_term">RegionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> is a collection of geographical regions, where each of the regions in the collection is spatially disjoint with the other regions in the collection. For example, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a>, since the territories of U.S. states do not overlap. Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj3zpwpEbGdrcN5Y29ycA" class="cyc_term">CanadianProvince</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>, <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/Mx4r7UPPpMkuEdmAAAACs6hRjg" class="cyc_term">Colony_GeopoliticalEntity</a>. A non-example is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKJ5wpEbGdrcN5Y29ycA" class="cyc_term">EcologicalRegion</a>, since ecological regions can overlap. region type whose instances are non-overlapping region types SpatiallyDisjointRegionType 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 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. <p/> 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 A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk05wpEbGdrcN5Y29ycA" class="cyc_term">RegionType</a> is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwS68M5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing_Localized</a> each of whose instances is an identifiable subregion of some object, but not itself an independent object. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk05wpEbGdrcN5Y29ycA" class="cyc_term">RegionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkDKZwpEbGdrcN5Y29ycA" class="cyc_term">PalmOfHand</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj5FJwpEbGdrcN5Y29ycA" class="cyc_term">Doorway</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjfapwpEbGdrcN5Y29ycA" class="cyc_term">Wall_GenericBarrier</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkE3pwpEbGdrcN5Y29ycA" class="cyc_term">WorkSurface</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPUJwpEbGdrcN5Y29ycA" class="cyc_term">Handle</a>. type of region RegionType