Geography
E-Mail
Comments to: opencyc-doc@cyc.com
Last
Update: 3/30/02
Copyright© 1996-2002. All rights reserved. See Terms of Usage.
Return to Documentation Contents
Return to Vocabulary Contents
#$RegionType types
of region
A collection of collections. Each instance of #$RegionType is
a subcollection of #$SpatialThing-Localized each of whose
instances is an identifiable subregion of some object, but
not itself an independent object. Instances of #$RegionType
include #$PalmOfHand, #$Doorway,
#$Wall-GenericBarrier, #$WorkSurface, and #$Handle.
guid: bd58e4d3-9c29-11b1-9dad-c379636f7270
direct instance of: #$SecondOrderCollection
direct specialization of:
#$ExistingObjectType
direct generalization of:
#$SpatiallyDisjointRegionType
#$GeographicalRegion geographical regions
A specialization of #$GeographicalThing. Each
instance of #$GeographicalRegion
is a spatial region that includes some piece of the surface
of a planet (usually #$PlanetEarth). Each instance of #$GeographicalRegion
is a #$PartiallyTangible
entity that may be represented on a map of the planet. This
includes purely topographical regions like mountains and
underwater spaces, places defined by demographics (e.g.,
language areas) and territory otherwise demarcated (e.g.
#$TimeZones). In dualist geopolitical contexts [see
#$DualistGeopoliticalMt], instances of #$GeopoliticalEntity
are also considered to be instances of #$GeographicalRegion.
In all cases the region in question must contain some
tangible component with which it is possible to make
physical contact. The instances of #$GeographicalRegion
contrast in this respect with the instances of
#$GeographicalThing-Intangible, which are wholly intangible.
Examples of #$GeographicalRegions:
#$RockyMountainStates-USRegion, the #$ContinentOfAustralia,
#$SinaiPeninsula, and -- in dualist geopolitical contexts --
#$YaleUniversity and #$CityOfPittsburghPA. Some important
types of regions are represented by the sub-collections
#$LanguageArea, #$TimeZone, #$PostalCodeRegion, #$EcologicalRegion,
#$ConstructionSite, and -- in dualist geopolitical contexts
-- #$GeopoliticalEntity.
No instances of #$GeographicalRegion
are wholly indoor locations.
guid: bd588009-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$Surface-Open #$Surface-Physical #$GeographicalThing #$Place
direct generalization of:
#$OutdoorLocation
#$GeographicalAgent #$River #$IndependentCountry
#$Forest #$GroundHasPermaFrost #$GeoculturalRegion
#$InternationalWaters #$EcologicalRegion
#$TopographicalFeature
#$SpatiallyDisjointRegionType types
of spatially disjoint region
A collection of collections, and a specialization
of #$RegionType.
Each instance of #$SpatiallyDisjointRegionType
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
#$State-UnitedStates
is an instance of #$SpatiallyDisjointRegionType,
since the territories of U.S. states do not overlap. Other
instances of #$SpatiallyDisjointRegionType
include #$CanadianProvince,
#$IndependentCountry,
#$City, and
#$Colony. A non-example is #$EcologicalRegion,
since ecological regions can overlap.
guid: bd58e513-9c29-11b1-9dad-c379636f7270
direct instance of: #$SecondOrderCollection
direct specialization of:
#$RegionType
#$UrbanArea urban areas
A subcollection of #$HumanResidenceArea.
Each instance of #$UrbanArea is a
geographical region the whole of which (more or less) is
characterized by typically urban features (such as streets,
buildings, businesses, houses, schools, sidewalks, sewer
systems, power lines, automobiles, pedestrians, and so on).
An urban area might be as small as an inner-city street
corner or as large as the New York City Metropolitan Area.
By default, urbanness is a stuff-like property of human
residence areas: (nearly) every subregion of an #$UrbanArea is
itself an #$UrbanArea.
Examples include #$UTAustinCampus, #$WestlakeHills,
#$CityOfAustinTX, #$CityOfToulouseFrance,
#$CityOfMurmanskRussia, #$CityOfTaipeiTaiwan, and #$ResearchTrianglePark.
guid: bd58caec-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingStuffType
direct specialization of:
#$HumanResidenceArea
direct generalization of:
#$USCity #$City #$Street-Generic
#$HumanResidenceArea residences
A specialization of #$GeographicalRegion.
Each instance of #$HumanResidenceArea
is a region in which a number of people live
semi-permanently (that is, for a duration of at least a year
or more). Examples include #$SanFranciscoBayArea,
#$ResearchTrianglePark, research stations at the
#$SouthPole, and radar posts in the Aleutians.
guid: bd58caab-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$HumanlyOccupiedSpatialObject #$OutdoorLocation
direct generalization of:
#$UrbanArea
#$EcologicalRegion ecological regions
A collection of geographical regions. Each instance
of #$EcologicalRegion
is a region having one or more characteristic ecosystems.
From knowledge of those ecosystems, we can posit whether
certain organisms can forage, reproduce, and live
successfully there. Information about ecological regions
typically also includes what kinds of organisms are in fact
found there. In theory, any arbitrary continuous region
could be analyzed as an ecological region, but most regions
identified in practice have some kind of sameness or
systematic interconnection in their topology, climate, and
biology. Examples: the #$WesternDesertOfEgypt, the
#$GreatBarrierReef, the #$Amazon-Region.
guid: bd58ca27-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingStuffType
direct specialization of:
#$GeographicalRegion
direct generalization of:
#$Stream
#$permanentlyNorthOf permanently
north of
(#$permanentlyNorthOf
NORTH SOUTH) means that the #$GeographicalThing NORTH is
situated to the north of the #$GeographicalThing SOUTH, when
viewed in a planetary frame of reference, typically the
terrestrial frame of reference. To compare the position of
two objects, at least one of which is mobile or is an
instance of #$SpatialThing-Localized but not of
#$GeographicalThing, use the more general, #$northOf. Note
that SOUTH is therefore south of NORTH; thus, no distinct
predicate is needed to represent `south of'. Example: (#$permanentlyNorthOf
#$CityOfPhiladelphiaPA #$CityOfWashingtonDC);
(#$permanentlyNorthOf
#$35thParallel-North #$37thParallel-North). See also #$permanentlyEastOf
and #$directionBetweenObjects.
To say '(permanentlySouthOf x y)' all we need is to say (#$permanentlyNorthOf
y x). See also #$fartherNorthThan.
guid: bd58e4ce-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate
#$TransitiveBinaryPredicate #$SpatialPredicate
direct specialization of: #$northOf
#$permanentlyEastOf permanently
east of
(#$permanentlyEastOf
EASTREGION WESTREGION) means that the #$GeographicalRegion
EASTREGION is to the east of the #$GeographicalRegion
WESTREGION, when viewed in the terrestrial frame of
reference. Note that WESTREGION is therefore west of
EASTREGION; thus, no distinct predicate is needed to
represent `west of'. Example: (#$permanentlyEastOf
#$EasternUSATimeZone #$CentralUSATimeZone). See also #$permanentlyNorthOf
and #$directionBetweenObjects.
To express '(permanentlyWestOf x y)' all we need is to say
(#$permanentlyEastOf
y x). In order to relate two instances of
#$SpatialThing-Localized that are mobile or do not fit the
argument restrictions of #$permanentlyEastOf,
use the more general predicate, #$eastOf.
guid: bd58e48b-9c29-11b1-9dad-c379636f7270
direct instance of: #$TransitiveBinaryPredicate #$SpatialPredicate
#$AsymmetricBinaryPredicate
direct specialization of: #$eastOf
#$permanentlyNortheastOf permanently
northeast of
(#$northeastOf REGION-1 REGION-2) means that the #$GeographicalRegion
REGION-1 is to the north-east of the #$GeographicalRegion
REGION-2, when viewed in the terrestrial frame of reference.
Note that REGION-2 is therefore southwest of REGION-1; thus,
no distinct predicate is needed to represent `southwest of'.
Example: (#$northeastOf #$LakeOntario #$LakeErie). To refer
to instances of #$SpatialThing-Localized that can move, use
the more general #$northeastOf.
guid: bd58e136-9c29-11b1-9dad-c379636f7270
direct instance of:
#$SpatialPredicate
#$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate
#$permanentlyNorthwestOf permanently
northwest of
(#$permanentlyNorthwestOf
REGION-1 REGION-2) means that the #$GeographicalRegion
REGION-1 is to the northwest of the #$GeographicalRegion
REGION-2, when viewed in the terrestrial frame of reference.
Note that REGION-2 is therefore southeast of REGION-1; thus,
no distinct predicate is needed to represent `southeast of'.
Example: (#$northwestOf #$GreatBritain-TheIsland StraitOfDover).
guid: bd58e0b6-9c29-11b1-9dad-c379636f7270
direct instance of:
#$SpatialPredicate
#$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate
#$bordersOn borders on
(#$bordersOn
REGION1 REGION2) means that the #$GeographicalRegions
REGION1 and REGION2 are physically adjacent to each other
and do not overlap, i.e. there is a border between them.
Examples: (#$bordersOn
#$CentralUSATimeZone #$MountainUSATimeZone), (#$bordersOn
(#$TerritoryFn #$Nepal) (#$TerritoryFn #$Tibet).
guid: bd58e17a-9c29-11b1-9dad-c379636f7270
direct instance of: #$SymmetricBinaryPredicate
#$IrreflexiveBinaryPredicate #$SpatialPredicate
#$InterExistingObjectSlot
direct specialization of: #$onSamePlanetSurfaceAs #$adjacentTo
#$touchesDirectly-Apartanomic
#$Planet planets
A specialization of #$HeavenlyBody.
Each instance of #$Planet is a
planet either in Earth's solar system or elsewhere in the
universe. Instances of #$Planet include
#$PlanetEarth, #$PlanetJupiter, and #$PlanetVenus.
guid: bd58d12f-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$HeavenlyBody
#$HeavenlyBody heavenly bodies
A specialization of #$AstronomicalObject.
Each instance of #$HeavenlyBody
is an astronomical object located in outer space (including
the Earth). Instances of #$HeavenlyBody
are natural bodies, _not_ artificially made objects such as
spaceships or communications satellites. Specializations of
#$HeavenlyBody
include #$Planet
and #$Star.
guid: bd58a4b7-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$AstronomicalObject
direct generalization of:
#$Planet
#$AstronomicalObject astronomical objects
A specialization of #$InanimateThing-Natural.
Each instance of #$AstronomicalObject
is an object of interest to astronomers. Some, but not all,
instances of #$AstronomicalObject
are also instances of #$CelestialObject, the collection of
heavenly bodies visible from the Earth. Notable
specializations of #$AstronomicalObject
include #$Star, #$Planet, and #$Galaxy.
guid: bd58d178-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$InanimateObject-Natural
direct generalization of:
#$HeavenlyBody
#$LandBody landmasses
A collection of geographical regions. Each instance
of #$LandBody
is a cohesive chunk of land surrounded by one or more
bordering bodies of water. Types of #$LandBody
include the specializations #$Island and
#$TrueContinent. Instances include #$ContinentOfAustralia,
#$Trinidad-Island, and #$Crete-Island-Greece. Areas of land
defined by human occupation or political boundaries, for
example, #$NorthernCalifornia or #$NorthernIreland, are
instances of #$GeographicalRegion,
but not of #$LandBody.
guid: bd58e9d5-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$LandTopographicalFeature
direct generalization of:
#$Island
#$TopographicalFeature topographical
features (geographical regions)
A collection of geographical regions. Each instance
of #$TopographicalFeature
is a three-dimensional feature of a planet's surface,
typically with boundaries defined by formations of rock,
dirt, water, etc., or by significant changes in elevation.
Some important subcollections of #$TopographicalFeature
include #$Mountain, #$MountainRange,
#$Peninsula, #$Harbor,
#$Shoreline, and #$Arroyo. Note that collections of regions
defined by the presence of human artifacts (e.g.
#$CitySkyline) or ecological characteristics (e.g.
#$Forest-Wild) are _not_ subcollections of #$TopographicalFeature.
Instances of #$TopographicalFeature
include #$KyushuIsland-Japan, #$SaintThomas-Island,
#$LakeErie, #$VictoriaFalls, and #$MalayPeninsula.
guid: bd58ce45-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$Place-NonAgent #$OutdoorLocation
direct generalization of:
#$River #$BodyOfWater
#$LandTopographicalFeature topographical
features (solid planetary stuff)
A collection of geographical regions. Each instance
of #$LandTopographicalFeature
is a region of land distinguishable from surrounding regions
by salient physical differences in surface texture,
three-dimensional shape, or elevation. The collection
includes features that are covered by snow or bodies of
water. Instances of #$LandTopographicalFeature
include the #$ArabianPeninsula, #$MountZion, the
#$SanAndreasFault, the #$GreatSmokyMountains, and the #$JavaTrench.
guid: bd58ce87-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of: #$EarthStuff
direct generalization of:
#$Mountain
#$Plain-Topographical #$MountainRange
#$LandBody
#$IslandsAndIslandGroup
#$Continent
#$OutdoorLocation outdoor locations
A specialization of #$GeographicalRegion.
Each instance of #$OutdoorLocation
is a region of outdoor space; i.e., a region which is
directly subject to atmospheric weather. Thus, the
collection #$OutdoorLocation
does _not_ include as instances any instances of
#$UnderwaterLocation (q.v.) or any places that are
underground (see the attribute #$Underground).
Specializations of #$OutdoorLocation
include #$MountainRange,
#$Stream,
and #$Highway.
guid: bd58b186-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingStuffType
direct specialization of:
#$GeographicalRegion
direct generalization of:
#$HumanResidenceArea
#$MediterraneanScrub #$Dock
#$GroundsOfOrganization #$TopographicalFeature
#$Cloudy #$CompletelyCloudCovered
#$PartiallyCloudCovered
#$Cloudless
#$Mountain mountains
A specialization of #$LandTopographicalFeature.
Each instance of #$Mountain is a
topographical region on the planet Earth of significantly
higher elevation than its surrounding area. Mountains may
occur individually or as part of a chain (see #$MountainRange).
Instances of #$Mountain
include #$MountWhitney, #$DiamondHead-Mountain,
#$MountKosciusko, #$AyersRock, and #$MountOlympus.
guid: bd58ce0d-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$LandTopographicalFeature
#$MountainRange mountain ranges
A specialization of #$LandTopographicalFeature.
Each instance of #$MountainRange
is a natural group of mountains. Instances of #$MountainRange
include the #$RockyMountains, #$Andes-Mountains, and #$Alps-Mountains.
guid: bd58e52f-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$LandTopographicalFeature
#$Cliff cliffs
A collection of topographical features. Each
element of #$Cliff is a very
steep, vertical or overhanging face on a mass of rock,
earth, or ice.
guid: bd58d4e6-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$LandTopographicalFeature
#$Volcano volcanos
A collection of topographical features. Each
element of #$Volcano is a
mountain created by the outflow of lava. Elements of #$Volcano may or
may not be active volcanoes. Examples: #$Vesuvius-Volcano,
#$MountFuji-Volcano, #$Popocatepetl-Volcano,
#$Krakatoa-Volcano, #$MaunaKea-Volcano, #$MountSaintHelens-Volcano.
guid: bd590a50-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$Mountain
#$Archipelago archipelagos
A collection of topographical features. Each
element of #$Archipelago
is a group of islands that form a geographical cluster.
Examples: #$Ionia, #$InnerHebrides-Archipelago,
#$SocietyIslands-FrenchPolynesia, #$ChannelIslands.
guid: bd58fbfd-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ConventionalClassificationType
#$ExistingObjectType
direct specialization of:
#$IslandsAndIslandGroup
#$IslandsAndIslandGroup islands
or island group
A collection of topographical features. Each
instance of #$IslandsAndIslandGroup
is either an island, a group of islands (see #$Archipelago),
or an area which includes part but not all of an island
(#$IslandSubregion). Instances of #$IslandsAndIslandGroup
include groups of scattered islands which do not form a
natural geographical area; the chief reason for representing
such groups is that they are geopolitical areas and/or were
historically significant. Instances include
#$FrenchPolynesia, #$Cyclades, #$OuterHebrides-Archipelago, #$Grenadines-Islands.
guid: bd58bb7f-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$LandTopographicalFeature
direct generalization of:
#$Island
#$Island islands
The collection of all islands, each being a #$LandBody
(smaller than a #$Continent)
surrounded by water.
guid: bd58bb39-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ConventionalClassificationType
#$ExistingObjectType
direct specialization of:
#$LandBody #$IslandsAndIslandGroup
#$Continent continents
(solid planetary stuff)
A collection of topographical features. The
instances of #$Continent on
the #$PlanetEarth are the six traditional main land masses
on the surface of the earth (plus the two #$geographicalSubRegions
of Eurasia, Europe and Asia). The current instances are: #$ContinentOfAfrica,
#$ContinentOfAntarctica, #$ContinentOfAsia,
#$ContinentOfAustralia, #$ContinentOfEurasia, #$ContinentOfEurope,
#$ContinentOfNorthAmerica,
#$ContinentOfSouthAmerica.
Former instances of this collection include Pangaea and the
two continents it broke up into Gondwanaland and Laurasia
(all of which are instances of #$TrueContinent (q.v.)).
guid: bd590bbb-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$LandTopographicalFeature
#$terrainAttributes terrain attributes
The predicate #$terrainAttributes
is used to describe the type of terrain in a particular
geographical region. (#$terrainAttributes
REGION ATTRIB) means that #$GeographicalRegion
REGION has the #$TerrainAttribute
ATTRIB. For example, the #$Matterhorn-Mount has #$terrainAttributes, #$RuggedTerrain.
guid: bd58f376-9c29-11b1-9dad-c379636f7270
direct instance of: #$BinaryAttributePredicate
direct specialization of:
#$hasAttributes
#$TerrainAttribute terrain attribute
A specialization of #$PhysicalAttribute.
Each instance of #$TerrainAttribute
is an attribute of the terrain in some geographic region or
regions. Notable instances include #$Prairie,
#$TropicalRainForest, and #$Tundra.
guid: bd5902c7-9c29-11b1-9dad-c379636f7270
direct instance of:
#$AttributeType
direct specialization of: #$PhysicalAttributeOfTangibleOnly
direct generalization of:
#$TerrainAttribute-Vegetation
#$riverEndTopography river
end topography
The predicate #$riverEndTopography
is used to indicate the type of topographical feature found
at the end of a particular river. (#$riverEndTopography
RIVER TOPO-TYPE) means that the instance RIVER of #$River has at its
ending point a topographic feature of the type TOPO-TYPE.
Examples: the #$riverEndTopography
of both the #$SaintLawrenceRiver and #$SeineRiver is an
instance of #$Estuary; the #$NigerRiver, #$MekongRiver, and
#$GangesRiver all have instances of #$Delta as their #$riverEndTopography;
the #$AlleghenyRiver ends in another instance of #$River (viz., the #$OhioRiver.
guid: bd58c8b2-9c29-11b1-9dad-c379636f7270
direct instance of: #$BinaryPredicate
#$BodyOfWater bodies
of water
A collection of topographical features. Each
instance of #$BodyOfWater
is a natural or artificial body of water. Instances may
belong to specializations as #$Lake, #$Stream, and #$Ocean. #$BodyOfWater
includes #$Reservoirs, #$Canals, and
navigation channels that are developed and/or enlarged by
humans. However, it does not include smaller
purely-artificial bodies of water such as #$SwimmingPools or
tanks of water. #$Glaciers and snowpacks are not included,
but lakes and ponds that are sometimes liquid are included,
even if they have an ice crust or are solidly frozen.
Examples of #$BodyOfWater:
#$HudsonBay, #$PanamaCanal, #$AdriaticSea, #$BayOfBengal, #$NiagaraFalls.
guid: bd5884fc-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$TopAndBottomSidedObject #$TopographicalFeature
direct generalization of:
#$River #$FreshWaterLake
#$BodyOfWater-Large #$Sea #$Lake #$Stream #$Canal
#$InternationalWaters #$Harbor
#$River rivers (fresh water)
A specialization of #$Stream. Each
instance of #$River is a natural
stream of water, normally of a large volume. Instances of #$River include the
#$ColoradoRiverOfArizona, the #$AmazonRiver, the
#$YangtzeRiver, and the #$ThamesRiver.
guid: bd590733-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$Stream
#$Stream streams (fresh water)
#$Stream is the
generic collection for natural, flowing bodies of water,
including everything from great rivers to tiny creeks. Every
stream flows in (see #$in-ContOpen)
some conduit (see #$FluidConduit) such as a streambed or
riverbed. Examples: #$AmazonRiver, #$LittleMissouriRiver,
#$WoundedKnee-Creek. Cf. #$River, #$Creek.
Note that riverbanks are not streams nor are they parts of
streams, but rather they mark the edges of a stream.
guid: bd590774-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$InanimateThing-Natural #$BodyOfWater #$FlowPath #$EcologicalRegion
direct generalization of:
#$River
#$Sea seas
A specialization of both #$BodyOfWater
and #$SeaWater. Each instance of #$Sea is a body of
salt water as large or larger than a lake. Instances of #$Sea include #$PacificOcean,
#$IonianSea, #$EastChinaSea, and #$BlackSea.
guid: bd58cc7f-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$InanimateThing-Natural #$BodyOfWater-Large #$SeaWater
direct generalization of:
#$Ocean
#$Ocean oceans
A collection of topographical features. Each
instance of #$Ocean is one of
the oceans of the world. This includes #$TheOceanSea, the
interconnected expanse of salt water covering 71% of the
Earth's surface, and of which the other oceans are
subregions. Examples: #$AtlanticOcean,
#$ArcticOcean, #$IndianOcean,
#$PacificOcean.
guid: bd58e4b6-9c29-11b1-9dad-c379636f7270
direct instance of:
#$SpatiallyDisjointRegionType
direct specialization of:
#$Sea
#$Lake lakes
A collection of topographical features. Each
instance of #$Lake
is a land-locked body of water, typically but not
necessarily of freshwater. These are subdivided into
freshwater [#$FreshWaterLake] and salt-water [#$InlandSea]
lakes. Examples: #$LakeMaracaibo, #$LakeWinnipeg,
#$LakeTanganyika, #$LochNess-Lake, #$LakeErie, #$LakeTahoe,
#$CaspianSea, #$BlackSea, #$DeadSea.
guid: bd58b822-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$BodyOfWater
direct generalization of:
#$FreshWaterLake
#$FreshWaterLake fresh
water lake
A specialization of #$BodyOfWater.
Each instance of #$FreshWaterLake
is a freshwater land-locked body of water. Examples include
#$LakeMaracaibo, #$LakeWinnipeg, #$LakeTanganyika,
#$LochNess-Lake, #$LakeErie, and #$LakeTahoe. Note that
inland saltwater lakes, commonly referred to as `seas',
belong to the collection #$InlandSea (q.v.), rather than to
#$FreshWaterLake.
guid: c10e5cfd-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$Lake
#$Gulf gulfs
A specialization of #$BodyOfWater-Large. Each
instance of #$Gulf
is a part of a sea extending into a land mass. Instances of
#$Gulf include
the #$SaronicGulf, #$GulfOfMexico, #$GulfOfArkangelsk,
#$GulfOfCalifornia, and #$PersianGulf.
guid: bd590006-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of: #$BodyOfWater-Large
#$Canal canals
The collection of all canals, artificial waterways
created to be paths for boats, or for irrigation (e.g., the #$PanamaCanal).
guid: bd58f371-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$BodyOfWater #$FlowPath
#$hasAsTributary has
as tributary
The predicate #$hasAsTributary
is used to indicate the tributaries of a particular river.
(#$hasAsTributary
BIGRIV SMALLRIV) means that BIGRIV has SMALLRIV as one of
its tributaries. SMALLRIV flows into BIGRIV. Examples: the
#$MississippiRiver has the #$WisconsinRiver, #$OhioRiver,
#$ArkansasRiver, #$RedRiverOfTexas, and others as its
tributaries. Cf. #$formedByConfluenceOf.
guid: bd588db4-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate #$InterExistingObjectSlot
Geopolitical Entities
#$SystemOfGovernment forms
of government
A specialization of #$AttributeValue.
Each instance of #$SystemOfGovernment
is a type of government that a country might have. Instances
of #$SystemOfGovernment
include #$DemocraticGovernment, #$Monarchy,
#$SocialistGovernment, and #$MilitaryGovernment. See also
the predicate #$governmentType.
guid: bd589546-9c29-11b1-9dad-c379636f7270
direct instance of:
#$UnorderedAttributeType
direct specialization of:
#$AttributeValue
#$GeopoliticalEntity political entities
A specialization of #$Organization
and of #$LegalAgent and of
#$GeographicalAgent, instances of this collection control #$GeographicalRegions.
Each instance of #$GeopoliticalEntity
includes a governing body, but is more than just that
governing body. Important subcollections include #$Country, #$IndependentCountry,
#$State-Geopolitical,
#$City, and
#$Province. Instances include #$CityOfTokyoJapan,
#$BronxNY-Borough, #$Alaska-State, #$Rwanda, #$Singapore,
#$InnerMongolia, #$Somerset-CountyEngland, and #$Taiwan-RepublicOfChina.
A central feature of this collection is that
geopolitical-entities (indeed, all #$GeographicalAgents) are
viewed in two significantly different ways with respect to
two different types of geography-related microtheories. In a
physical geography microtheory (i.e. #$PhysicalGeographyMt
and its submicrotheories), geopolitical-entities are clearly
distinguished from the regions they control. (#$TerritoryFn
GEO-POL) is used in these contexts to denote the land mass
(a #$GeopoliticalRegion) of a given geopolitical-entity
GEO-POL. In a dualist geography microtheory (i.e.
#$DualistGeopoliticalMt and its submicrotheories), on the
other hand, geopolitical-entities are viewed as being _both_
agents _and_ land masses (i.e. #$GeographicalRegions).
Thus, there is little need for #$TerritoryFn in the latter
sort of context. (Despite their somewhat paradoxical flavor,
dualist microtheories arguably allow Cyc to mimic
commonsense reasoning about geopolitical entities and
regions more closely than do the stricter physicalist
microtheories.) There are also some generic geography
microtheories (e.g. #$WorldGeographyMt and
#$UnitedStatesGeographyMt) which are neutral with respect to
the physical and dualist views. Also see the shared-note for
this constant.
guid: bd58e5da-9c29-11b1-9dad-c379636f7270
direct instance of: #$OrganizationByEntityType #$ExistingObjectType
direct specialization of:
#$LegalAgent #$GeographicalAgent #$Organization
direct generalization of:
#$ControlledLand
#$CountrySubsidiary
#$City #$County #$Emirate-Geopolitical
#$Country
#$State-Geopolitical states
(political entities)
A specialization of #$CountrySubsidiary.
Each instance of #$State-Geopolitical
is a geopolitical entity whose government is at the very
next administrative level down from the national level. In
different countries, instances of #$State-Geopolitical
may be called `regions', `states', `provinces',
`prefectures', `departments', `parishes', or something else.
In the U.S.A., instances are called `states'. See also #$Province.
guid: bd58e7a8-9c29-11b1-9dad-c379636f7270
direct instance of: #$GeographicalEntityByHierarchy
direct specialization of:
#$CountrySubsidiary
direct generalization of:
#$State-UnitedStates
#$Emirate-Geopolitical emirates
(political entities)
The collection of all Emirates, that is, those
geopolitical entities, or territories, each of which is
ordinarily ruled by an #$Amir-HeadOfState or an Emir (Amir)
who is not necessariy a #$HeadOfState
of an #$IndependentCountry,
but rules a subsidiary region. See especially the #$UnitedArabEmirates.
guid: be5c29ab-9c29-11b1-9dad-c379636f7270
direct instance of:
#$SpatiallyDisjointRegionType
direct specialization of:
#$GeopoliticalEntity
#$CountrySubsidiary districts
A specialization of #$GeopoliticalEntity.
Each instance of #$CountrySubsidiary
is a political region that is a direct subsidiary of some
country. This collection includes states, provinces,
territories, and some special districts such as Washington, D.C.
guid: c0c0184c-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$GeopoliticalEntity
direct generalization of:
#$Territory
#$State-Geopolitical
#$Territory territories
(political entities)
A specialization of #$ControlledLand.
Each instance of #$Territory is a
geopolitical region which is distinct from, but dependent on
and controlled by, another geopolitical entity. Instances of
#$Territory
include #$PuertoRico, #$BritishAntarcticTerritory, and #$RyukyuIslandsTerritory.
guid: bd58a1dc-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$CountrySubsidiary #$ControlledLand
#$IndependentCountry is
the atomic form of (#$SubcollectionWithAttributeFn #$Country
#$Independent)(#$SubcollectionWithAttributeFn #$Country #$Independent)
A collection of geopolitical entities. Each element
of #$IndependentCountry
is a distinct, independent geopolitical entity generally
recognized by the international community. An independent
country typically has a (relatively) stable government and
enforced borders, its own currency, laws, culture, etc.
Examples: #$UnitedStatesOfAmerica,
#$Germany,
#$Liberia, #$Mongolia, #$India, #$Taiwan-RepublicOfChina, #$Honduras.
guid: bd58e4e7-9c29-11b1-9dad-c379636f7270
direct instance of:
#$SpatiallyDisjointRegionType
#$GeographicalEntityByHierarchy
direct specialization of:
#$Country
#$ControlledLand controlled land
A specialization of #$GeopoliticalEntity.
Each instance of #$ControlledLand
is a geopolitical entity that is at least partially
controlled by some other instance of #$GeopoliticalEntity.
Furthermore, the instance of #$ControlledLand
is not a geopolitical sub-division (see the predicate
#$geopoliticalSubdivisions) of the power that controls it.
Instances of #$GeopoliticalEntity
include #$PuertoRico, #$Bermuda, #$Guadeloupe-TheDependency, #$Tibet.
guid: bd58a21e-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$GeopoliticalEntity
direct generalization of:
#$Territory
Politics And Government
#$GovernmentFn government fn
An instance of both #$IndividualDenotingFunction
and #$ReifiableFunction.
Given an instance GEOPOL of #$GeopoliticalEntity
as its single argument, #$GovernmentFn
returns the instance of #$RegionalGovernment
(q.v.) that governs GEOPOL. For instance, (#$GovernmentFn
#$Belgium)
is the government of Belgium.
guid: c10aef3d-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ReifiableFunction
#$MacroRelation #$IndividualDenotingFunction
#$UnaryFunction #$Individual
#$capitalCity capital city
The predicate #$capitalCity
is used to relate a geopolitical entity to its capital. (#$capitalCity
GEO CITY) means that CITY is the capital city of the #$GeopoliticalEntity
GEO. Examples: the #$capitalCity
of the #$UnitedStatesOfAmerica
is the #$CityOfWashingtonDC;
the #$capitalCity
of #$AmericanSamoa is #$CityOfPagoPagoSamoa. Note: to relate
an instance of #$State-Geopolitical
to its capital, use the more specialized predicate #$capitalCityOfThisState.
guid: bd590b5f-9c29-11b1-9dad-c379636f7270
direct instance of: #$AntiTransitiveBinaryPredicate
#$AsymmetricBinaryPredicate #$FunctionalSlot
#$CotemporalObjectsSlot
#$InterExistingObjectSlot
direct specialization of: #$geopoliticalSubdivision
#$CapitalCityOfRegion capitals (cities)
A subcollection of #$City. Each
instance of #$CapitalCityOfRegion
is a city that is the capital of its surrounding region.
This includes capitals of countries as well as capitals of
subregions of countries, such as states, provinces, and
counties. Examples include #$CityOfRomeItaly,
#$CityOfCardiffWales, #$CityOfAustinTX,
#$CityOfAbidjanIvoryCoast, #$CityOfLhasaTibet, and
#$CityOfColumbusOH. See also #$capitalCity
and #$capitalCityOfThisState.
guid: bd58f295-9c29-11b1-9dad-c379636f7270
direct instance of:
#$SpatiallyDisjointRegionType
direct specialization of:
#$City
direct generalization of:
#$StateCapital
#$HeadOfGovernment heads
of government
An instance of #$PersonTypeByPositionInOrg,
and a specialization of #$Politician.
Each instance of #$HeadOfGovernment
is a person who holds a political position as the head of
the government of some instance of #$Country. See
the #$sharedNotes
#$GovernmentLeaderNote
for an explanation of the distinction between #$HeadOfGovernment
and #$HeadOfState (q.v.).
guid: bd590143-9c29-11b1-9dad-c379636f7270
direct instance of:
#$PersonTypeByPositionInOrg
#$PersonTypeByOccupation
direct specialization of:
#$Politician #$Leader
direct generalization of:
#$UnitedStatesPresident
#$PrimeMinister-HeadOfGovernment
#$HeadOfState heads
of state
A collection of persons. Each instance of #$HeadOfState
is a person who holds a political position as the titular
leader of some instance of #$Country.
Titles that such a person might hold include President,
Premier, Chairman, Sultan, King or Queen, or Regent.
Examples of #$HeadOfState:
#$BillClinton, #$QueenElizabethII, Yasser Arafat, Hirohito,
Jiang Zemin. See also the related constants
#$titleOfPosition and #$HeadOfGovernment.
guid: bd58e773-9c29-11b1-9dad-c379636f7270
direct instance of:
#$PersonTypeByPositionInOrg
#$PersonTypeByOccupation
direct specialization of:
#$Politician #$Leader
direct generalization of:
#$UnitedStatesPresident
#$President-HeadOfGovernmentOrHeadOfState
#$PrimeMinister-HeadOfGovernment prime
ministers (heads of government)
A specialization of #$HeadOfGovernment.
Each instance of #$PrimeMinister-HeadOfGovernment
is a person who holds the political office of Prime Minister
in some instance of #$Country.
guid: bd590186-9c29-11b1-9dad-c379636f7270
direct instance of:
#$PersonTypeByOccupation
#$PersonTypeByPositionInOrg
direct specialization of:
#$Minister-Governmental #$HeadOfGovernment
#$President-HeadOfGovernmentOrHeadOfState national presidents
A collection of persons. Each instance of #$President-HeadOfGovernmentOrHeadOfState
is a person who holds the title of president of some #$Country,
whether that title belongs to a position which is #$HeadOfState
or #$HeadOfGovernment
(or both). Examples: Boris Yeltsin, #$BillClinton, Jiang
Zemin, Lee Dung-Hui.
guid: bd58e49e-9c29-11b1-9dad-c379636f7270
direct instance of:
#$PersonTypeByPositionInOrg
#$PersonTypeByOccupation
direct specialization of:
#$PresidentOfOrganization #$PersonWithOccupation #$HeadOfState
direct generalization of:
#$UnitedStatesPresident
#$GovernmentLeaderNote government
leader note
The distinction between #$HeadOfGovernment
and #$HeadOfState
is a subtle one. #$HeadOfGovernment
is the set of #$Leaders who
actually run the government. #$HeadOfState
is the set of #$Leaders who
are mainly ceremonial figures, fulfilling diplomatic roles
such as hosting foreign dignitaries. For a given #$Country,
these two roles may be filled by the same person, such as
#$BillClinton for the #$UnitedStatesOfAmerica
in 1996, or by two separate individuals; for example, in
1996 the #$HeadOfState
for #$GreatBritain-TheIsland would be #$QueenElizabethII,
while the #$HeadOfGovernment
would be John Major (#$PrimeMinister-HeadOfGovernment).
Cyc constant names indicate which government role is
associated with a particular title; e.g.,
#$Sultan-HeadOfGovernment vs. #$Sultan-HeadOfState.
guid: bd59a14c-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Individual
#$Politician politicos
An instance of #$PersonTypeByActivity.
Each instance of #$Politician is
a person who is involved in politics. Specializations of #$Politician
include #$HeadOfState,
#$ElectoralCandidate, and #$HeadOfPoliticalParty.
guid: bd58e7b6-9c29-11b1-9dad-c379636f7270
direct instance of:
#$PersonTypeByActivity
direct specialization of:
#$HumanAdult
direct generalization of:
#$HeadOfGovernment
#$HeadOfState
#$politicalPartyMembers political
party members
(#$politicalPartyMembers
PARTY PERSON) means that PERSON is a registered member of
PARTY. For example, (#$politicalPartyMembers
#$DemocraticParty #$BillClinton) holds.
guid: bd58d50c-9c29-11b1-9dad-c379636f7270
direct instance of:
#$CotemporalObjectsSlot
direct specialization of:
#$hasMembers
#$PoliticalDispute political dispute
The class of all political disputes, including
serious political controversies and skirmishes between
individuals, organizations or countries. Such a dispute
involves some question of public policy, as opposed to
purely personal or commercial issiues.
guid: bd58e019-9c29-11b1-9dad-c379636f7270
direct instance of:
#$DefaultDisjointScriptType
#$TemporalObjectType
direct specialization of: #$PoliticalEvent #$DisputeEvent
Some Important Regions
#$AtlanticOcean the
Atlantic Ocean
The main body of salt water primarily in the
#$WesternHemisphere-Region, bordering on five #$Continents (or
three #$TrueContinents -- Western coasts of Europe and
Africa, Antarctica, Eastern coasts of North and South America).
guid: bd5901d2-9c29-11b1-9dad-c379636f7270
direct instance of: #$InternationalWaters #$Ocean #$Entity #$Individual
#$PacificOcean the
Pacific Ocean
The main body of salt water in the
#$EasternHemisphere-Region, bordering on five continents
(Western coast of North and South Americas, Australia,
Antarctica, and Eastern coast of Asia).
guid: bd58e0bb-9c29-11b1-9dad-c379636f7270
direct instance of: #$InternationalWaters #$Ocean #$Entity #$Individual
#$IndianOcean the
Indian Ocean
The ocean in the #$SouthernHemisphere-Region lying
south of Asia and east of Africa, stretching to Australia.
guid: bd5887df-9c29-11b1-9dad-c379636f7270
direct instance of: #$InternationalWaters #$Ocean #$Entity #$Individual
#$MediterraneanSea the
Mediterranean Sea
A strategically important small sea between
southern Europe, western Asia (the Levant), and northern Africa.
guid: bd58ecea-9c29-11b1-9dad-c379636f7270
direct instance of: #$InternationalWaters #$Sea #$Entity #$Individual
#$ContinentOfNorthAmerica North America
The continent in the northern and
#$WesternHemisphere-Region. North America includes
#$CentralAmerica as well as the #$WestIndies-Archipelago as
#$geographicalSubRegions.
guid: bd58f882-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Continent
#$Entity #$Individual
#$ContinentOfSouthAmerica South America
The continent in the western and southern hemisphere.
guid: bd59004b-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Entity #$Continent #$Individual
#$ContinentOfAsia Asia (continent)
The world's largest continent, joined in the west
with Europe (which may be considered a peninsula of Asia) to
form the Eurasian land mass (#$ContinentOfEurasia). The #$ContinentOfAsia
occupies much of the northern half of the #$EasternHemisphere-Region.
guid: bd58ea12-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Continent
#$Entity #$Individual
#$ContinentOfEurope Europe
The sixth largest continent; includes adjacent
islands. The #$ContinentOfEurope
is separated from the #$ContinentOfAsia
by the #$UralMountains.
guid: bd58dd74-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Continent
#$Entity #$Individual
#$ContinentOfAfrica Africa
The second largest continent, located north and
south of the #$Equator in the #$EasternHemisphere-Region.
Africa is connected to Asia by the narrow #$Isthmus of Suez;
it includes #$Madagascar and other offshore islands.
guid: bd58ed27-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Entity #$Continent #$Individual
Some Countries
#$Australia Australia
(industrialized country)
Australia, the country that occupies the
#$ContinentOfAustralia (and also #$TasmaniaIslandAustralia)
dividing the eastern #$IndianOcean
from the southwestern #$PacificOcean.
In the #$DualistGeopoliticalMt, this constant includes both
physical and political aspects of Australia.
guid: bd5894b3-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Entity
#$IndustrializedCountry #$IndependentCountry
#$Individual
#$Brazil Brazil (country)
Brazil throughout time, both political and physical aspects.
guid: bd588f01-9c29-11b1-9dad-c379636f7270
direct instance of:
#$IndependentCountry
#$Entity #$Individual
#$Egypt Egypt
Egypt is an #$IndependentCountry
in the northeast part of the #$ContinentOfAfrica;
Egypt is east of #$Libya, north of the #$Sudan, south of the
eastern #$MediterraneanSea
and west of the #$RedSea. This constant includes Egypt
throughout time, in both its political and physical aspects.
guid: bd589383-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Entity #$IndependentCountry
#$Individual
#$UnitedKingdomOfGreatBritainAndNorthernIreland the
United Kingdom
The United Kingdom of Great Britain and Northern
Ireland, (the United Kingdom, or UK), an independent country
off the northwest coast of Europe consisting of #$England,
#$Scotland, #$Wales, and #$NorthernIreland, and possessing
all British colonies and other possessions. It technically
excludes the #$IsleOfMan-Island and the #$ChannelIslands,
which are realms of the British monarch.
guid: bd589184-9c29-11b1-9dad-c379636f7270
direct instance of: #$IndustrializedCountry #$Entity #$IndependentCountry
#$Individual
#$Germany Germany
Germany, a medium-sized #$IndependentCountry
in the north of the #$ContinentOfEurope.
Germany throughout time, both political and (in a dualist
microtheory) physical aspects.
guid: bd58f83c-9c29-11b1-9dad-c379636f7270
direct instance of: #$IndustrializedCountry #$IndependentCountry
#$Entity #$Individual
#$Switzerland Switzerland
The nation of Switzerland as it has existed
throughout time; includes both its physical and its
political aspects.
guid: bd58d09b-9c29-11b1-9dad-c379636f7270
direct instance of: #$IndustrializedCountry #$IndependentCountry
#$Entity #$Individual
#$Belgium Belgium
Belgium, a small #$IndependentCountry
in the west of the #$ContinentOfEurope.
It is a kingdom. The constant includes the nation of Belgium
as it has existed throughout time, including both its
physical and its political aspects.
guid: bd58df47-9c29-11b1-9dad-c379636f7270
direct instance of: #$IndustrializedCountry #$Entity #$IndependentCountry
#$Individual
#$France France
The nation of France as it has existed throughout
time; both political and physical aspects. Unlike other
nations, France directly includes some overseas possessions.
guid: bd58fa10-9c29-11b1-9dad-c379636f7270
direct instance of: #$IndustrializedCountry #$IndependentCountry
#$Entity #$Individual
#$Russia Russia
Russia, the world's largest, sometimes independent
#$Country,
occupying most of the North, Center, and East of the #$ContinentOfAsia.
This constant includes Russia throughout time, both
political and (in dualist microtheories) physical aspects.
guid: bd5893c1-9c29-11b1-9dad-c379636f7270
direct instance of:
#$IndependentCountry
#$IndustrializedCountry #$Entity #$Individual
#$Portugal Portugal
The nation of Portugal as it has existed throughout
time; includes both its physical and its political aspects.
guid: bd590a03-9c29-11b1-9dad-c379636f7270
direct instance of: #$IndustrializedCountry #$Entity #$IndependentCountry
#$Individual
#$Indonesia-TheNation Indonesia
(industrialized country)
The country of Indonesia, which occupies 13500
islands. Includes both political and, in a dualist
microtheory, physical aspects.
guid: bd58b2d6-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Entity
#$IndustrializedCountry #$IndependentCountry
#$Individual
#$India India (country)
A #$GeopoliticalEntity
in South Asia which has been an #$IndependentCountry
since 1947. For the preceding century it was a #$Territory of
the #$UnitedKingdomOfGreatBritainAndNorthernIreland.
The territorial extent of the #$GeopoliticalEntity
of #$India
occupies most of the #$IndianSubcontinent, although the
state of Assam is not considered part of the subcontinent.
guid: bd58fb5c-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Entity #$IndependentCountry
#$Individual
#$Bangladesh Bangladesh
Country near the eastern end of the Indian
subcontinent, separated from #$Nepal by a narrow corridor of
#$India, and
sharing part of its border with #$Burma. Considered a part
of India's territory during the period of British colonial rule.
guid: bd590173-9c29-11b1-9dad-c379636f7270
direct instance of:
#$IndependentCountry
#$Entity #$Individual
#$Taiwan-RepublicOfChina Taiwan (country)
Taiwan, governed as The Republic of China, is a
country which claims to be the government of all of China.
#$China-PeoplesRepublic
also makes this claim. The government of #$Taiwan-RepublicOfChina
#$controls Taiwan Province on the #$Island of
#$Formosa (or 'Taiwan') off the southeast coast of China in
the far western #$PacificOcean,
#$QuemoyIsland and #$MatsuIsland of Fujian Province a few
kilometers off the coast, and Pratas Island in the
#$SouthChinaSea. It claims several disputed islands in the
#$SouthChinaSea. The territory controlled by #$Taiwan-RepublicOfChina
is between the #$EastChinaSea and the #$SouthChinaSea. De
facto, #$Taiwan-RepublicOfChina
and #$China-PeoplesRepublic
are two separate independent countries each with its own
territory, while de jure there is a single #$IndependentCountry
of China, but two governments with separate regions of control.
guid: bd58a0bf-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Entity #$IndependentCountry
#$Individual
#$China-PeoplesRepublic China
(industrialized country)
China, governed as the Peoples' Republic of China
(PRC), is a country which claims to be the government of all
of China. #$Taiwan-RepublicOfChina
(ROC) also makes this claim. #$China-PeoplesRepublic
#$controls all of China except Taiwan Province on the #$Island of Formosa
[#$Formosa-Island] (or 'Taiwan') and #$QuemoyIsland and
#$MatsuIsland of Fujian Province a few kilometers off the
coast. These territories are controlled by #$Taiwan-RepublicOfChina.
#$Tibet is an #$AutonomousRegion which is a
#$geopoliticalSubdivision of the PRC against its will. China
borders on the #$EastChinaSea and the #$SouthChinaSea. De
facto, #$Taiwan-RepublicOfChina
and #$China-PeoplesRepublic
are two separate independent countries each with their own
territory, while de jure there is a single #$IndependentCountry
of China, but two governments with separate regions of control.
guid: bd58a341-9c29-11b1-9dad-c379636f7270
direct instance of: #$IndustrializedCountry #$IndependentCountry
#$Entity #$Individual
#$Japan Japan
Japan (the Empire of Japan), a medium-sized #$IndependentCountry
consisting of four islands off the east coast of the #$ContinentOfAsia,
with several island possessions. This includes Japan as it
has been throughout history, geographically and politically.
guid: bd5902a2-9c29-11b1-9dad-c379636f7270
direct instance of: #$IndustrializedCountry #$Entity #$IndependentCountry
#$Individual
United States
#$UnitedStatesOfAmerica the
United States
The United States of America, a large independent
country constisting of the territory, population, and
infrastructure of the United States, considered as a whole,
i.e., an instance of #$GeopoliticalEntity.
The nation is mostly in the #$ContinentOfNorthAmerica
south and west of #$Canada and north of #$Mexico. It was
founded in 1776 by emigrants from Europe.
guid: bd58a42a-9c29-11b1-9dad-c379636f7270
direct instance of:
#$IndependentCountry
#$IndustrializedCountry #$Entity #$Individual
#$USFederalGovernmentOrganization federal
government organizations
A collection of government organizations. An
instance of #$USFederalGovernmentOrganization
is an instance of #$LegalGovernmentOrganization
which is part of the #$UnitedStatesFederalGovernment . This
collection includes the U.S. military, Federal courts, U.S.
Congress, U.S. territorial governments, Federal departments
and independent agencies, and the city of Washington, D.C.;
it does NOT include U.S. states, interstate compacts, and
cities (other than Washington, D.C.).
guid: c1005ad7-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ExistingObjectType
direct specialization of:
#$LegalGovernmentOrganization
#$State-UnitedStates U.S. states
A collection of geopolitical organizations. Each of
the (currently 50) elements of #$State-UnitedStates
is a State in the #$UnitedStatesOfAmerica;
i.e., #$Alabama-State, #$Alaska-State, #$Arizona-State,
#$Arkansas-State, etc.
guid: bd588a98-9c29-11b1-9dad-c379636f7270
direct instance of:
#$SpatiallyDisjointRegionType
direct specialization of:
#$State-Geopolitical
#$StateCapital state capitals
A specialization of #$CapitalCityOfRegion.
An instance of #$CapitalCityOfRegion
is an instance of #$StateCapital
just in case it is the capital city of some instance of #$State-Geopolitical
(q.v.). Instances of #$StateCapital
include the capital cities of instances of #$State-UnitedStates,
as well as the capital cities of instances of other
specializations of #$State-Geopolitical,
such as #$Prefecture and #$Province.
guid: bd58b7be-9c29-11b1-9dad-c379636f7270
direct instance of:
#$SpatiallyDisjointRegionType
direct specialization of:
#$CapitalCityOfRegion
#$USCity is the atomic form of
(#$CityInCountryFn
#$UnitedStatesOfAmerica)(#$CityInCountryFn #$UnitedStatesOfAmerica)
A specialization of #$City. Each
instance of #$USCity is a city,
town, or village in the #$UnitedStatesOfAmerica.
Instances of #$USCity include
#$CityOfAustinTX, #$CityOfGainesvilleFL,
#$CityOfLongBeachCA, #$CityOfWashingtonDC,
#$CityOfEssexJunctionVermont, #$CityOfCambridgeMA,
#$CityOfPaloAltoCA, and #$CityOfRedmondWA.
guid: bd5884c0-9c29-11b1-9dad-c379636f7270
direct instance of:
#$SpatiallyDisjointRegionType
direct specialization of:
#$City
#$UnitedStatesPresident United
States presidents
A specialization of both #$UnitedStatesPerson
and #$President-HeadOfGovernmentOrHeadOfState.
Each instance of #$UnitedStatesPresident
is a person who holds the office of President of the #$UnitedStatesOfAmerica.
Note that since no person can hold the office of #$UnitedStatesPresident
for all of his/her lifetime, assertions about instances of
this collection need to be temporally qualified (for
example, by use of #$holdsIn (q.v.).
guid: c10052d1-9c29-11b1-9dad-c379636f7270
direct instance of:
#$PersonTypeByOccupation
direct specialization of:
#$UnitedStatesPerson #$HeadOfGovernment #$President-HeadOfGovernmentOrHeadOfState #$PublicOfficial
#$UnitedStatesPerson American
(North American)
An instance of #$Nationality.
Each instance of #$UnitedStatesPerson
is a person who either was born in the #$UnitedStatesOfAmerica
or is currently among that country's citizens (see the
predicate #$citizens).
guid: bd58f5ce-9c29-11b1-9dad-c379636f7270
direct instance of:
#$Nationality
direct specialization of:
#$Person
direct generalization of:
#$UnitedStatesPresident
#$CityOfWashingtonDC Washington D.C.
The capital city (#$CapitalCityOfRegion)
of the #$UnitedStatesOfAmerica,
seat of its Federal government, which is located in the
#$DistrictOfColumbia, a specially created Federal district
between the States of Maryland and Virginia. Currently, the
#$CityOfWashingtonDC
and the #$DistrictOfColumbia are coextensive.
guid: bd590b3c-9c29-11b1-9dad-c379636f7270
direct instance of:
#$CountrySubsidiary
#$USCity #$Entity #$CapitalCityOfRegion
#$Individual
#$cityInState city
in state
(#$cityInState
CITY STATE) means that the #$City CITY is
located in the geopolitical sub-region STATE. Note that
STATE may be an instance of #$State-Geopolitical,
or it may be an instance of some other specialization of #$CountrySubsidiary,
such as #$Territory. For
example, the #$CityOfDurhamNC is a #$cityInState
of #$NorthCarolina-State; Xiamen (Amoy) is a #$cityInState
of Fujian.
guid: bd58b907-9c29-11b1-9dad-c379636f7270
direct instance of:
#$FunctionalSlot
#$NonPhysicalPartPredicate
Addresses
#$ContactLocationType types
of contact location
A collection of collections. Each instance of #$ContactLocationType
is a collection of places at which a particular agent may be
contacted. Instances of #$ContactLocationType
may be characterized in several different ways, including
the following: by method of contact (e.g.,
#$VoicePhoneLocation, #$FaxLocation); by purpose of contact
(e.g., #$BillingLocation,
#$ShippingLocation,
#$EmergencyContact); by the agent's relationship to those
places (e.g., #$HumanResidence,
#$Workplace).
Note that a particular place may be an instance of two or
more instances of #$ContactLocationType,
since, for example, one person's home might be another's
vacation location.
guid: bd58d0a1-9c29-11b1-9dad-c379636f7270
direct instance of: #$SecondOrderCollection
direct specialization of:
#$ExistingObjectType
#$Address-LocationDesignator addresses
(contact information)
A specialization of #$ContactInfoString. Each
instance of #$Address-LocationDesignator
is a string that denotes one entire address. For example:
President Bill Clinton, White House, 1600 Pennsylvania
Avenue, Washington, DC .
guid: bd590a18-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ObjectType
direct specialization of: #$ContactInfoString
direct generalization of:
#$StreetAddress
#$addressText address text
The predicate #$addressText
relates an instance of #$ContactLocation
to an instance of #$Address-LocationDesignator.
(#$addressText
LOC ADDRESS) means that the #$ContactLocation
LOC has the #$Address-LocationDesignator ADDRESS.
guid: bd58be81-9c29-11b1-9dad-c379636f7270
direct instance of:
#$FunctionalSlot
#$stateOfAddress state
of address
(#$stateOfAddress
LOC STATE) means that the #$ContactLocation
LOC is found in the STATE, where STATE is either a #$State-UnitedStates
or another #$CountrySubsidiary.
For example, as #$CycorpHeadquarters is a #$ContactLocation
for #$Cycorp, then (#$stateOfAddress
#$CycorpHeadquarters #$Texas-State) means that the Cycorp
Headquarters building is located in Texas. Note that the
arg-constraint on the first argument should be an instance
of #$ContactLocation
which serves as a #$pointsOfContact
for an agent and not the agent itself.
guid: bd590075-9c29-11b1-9dad-c379636f7270
direct instance of:
#$FunctionalSlot
direct specialization of:
#$objectFoundInLocation
#$countryOfAddress country
of address
(#$countryOfAddress
LOC COUNTRY) means that the #$ContactLocation
LOC is located in the #$Country
COUNTRY. For example, #$Cycorp's #$countryOfAddress
is the #$UnitedStatesOfAmerica.
See also #$ContactLocation.
guid: bd58e6ca-9c29-11b1-9dad-c379636f7270
direct instance of:
#$FunctionalSlot
direct specialization of:
#$inRegion
#$cityOfAddress city
of address
(#$cityOfAddress
LOC CITY) means that the #$ContactLocation
LOC is found in the #$City CITY. For
example, as #$CycorpHeadquarters is a #$ContactLocation
for #$Cycorp, then (#$cityOfAddress
#$CycorpHeadquarters #$CityOfAustinTX) means that the Cycorp
Headquarters building is located in Austin, Texas. Note that
the arg-constraint on the first argument should be an
instance of #$ContactLocation
which serves as a #$pointsOfContact
for an agent and not the agent itself.
guid: bd59017b-9c29-11b1-9dad-c379636f7270
direct instance of:
#$FunctionalSlot
direct specialization of: #$notFarFrom
#$onSamePlanetSurfaceAs #$objectFoundInLocation
#$postalCodeOfAddress zip codes
The predicate #$postalCodeOfAddress
relates an instance of #$ContactLocation
to an instance of #$PostalCode.
(#$postalCodeOfAddress
LOC PC) means that the location LOC has the #$PostalCode
PC. For example, if LOC had the address: P.O. Box 1677-B,
New York, NY, 10014, PC would be the string `10014'. See
also #$ContactLocation.
guid: bd58dbc1-9c29-11b1-9dad-c379636f7270
direct instance of:
#$FunctionalSlot
#$PostalCode postal codes
A specialization of #$ContactInfoString. Each
instance of #$PostalCode is
a character string used by a postal service to designate a
particular geographic area. For example, the code used by
the #$USPostalService for central downtown Austin, TX, is
`78701'. Important specializations of #$PostalCode
include #$InternationalPostalCode and #$ZipCode.
guid: c10ada49-9c29-11b1-9dad-c379636f7270
direct instance of:
#$IDStringType
direct specialization of: #$ContactInfoString
#$streetAddressText address
(functional slot)
The predicate #$streetAddressText
maps from a particular place to a string representing its
street address. (#$streetAddressText
LOC STREET) means that LOC is found at the number and street
given in the string STREET. See also #$ContactLocation.
guid: bd58acb5-9c29-11b1-9dad-c379636f7270
direct instance of:
#$FunctionalSlot
#$StreetAddress street addresses
A specialization of #$Address-LocationDesignator.
Each instance of #$StreetAddress
is a string (an instance of #$CharacterString
(q.v.)) that includes a street number and street name. For
example, `3721 Executive Center Drive', the street address
of #$Cycorp.
guid: bd58acfd-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ObjectType
direct specialization of:
#$Address-LocationDesignator
#$BillingLocation billing locations
A specialization of #$MailingLocation.
Each instance of #$BillingLocation
is a location to which invoices are sent. For most private
individuals, their billing location is their home address.
guid: be0184e0-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ContactLocationType
direct specialization of:
#$MailingLocation
#$MailingLocation mailing locations
A specialization of #$ContactLocation.
Each instance of #$MailingLocation
is a location at which an agent can be contacted by mail.
guid: be01f510-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ContactLocationType
direct specialization of:
#$ContactLocation
direct generalization of:
#$ShippingLocation
#$BillingLocation
#$ShippingLocation shipping locations
A specialization of #$MailingLocation.
Each instance of #$ShippingLocation
is a location to which merchandise can be physically
delivered, e.g., a house, an office, a corporate mailroom, a
post office box.
guid: c10af5cf-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ContactLocationType
direct specialization of:
#$MailingLocation #$HumanlyOccupiedSpatialObject
#$ContactLocation contact locations
A specialization of #$PartiallyTangible.
Each instance of #$ContactLocation
is a point at which some particular agent (e.g., a
corporation or person) may be contacted by any of several
means, for any of several purposes. #$ContactLocation
includes any place to which one may direct one or more of
the following: letters, packages, phone calls or voice
messages, bills, email, faxes, pages, subpoenas. Contact
locations must be particular--e.g., my house or my office or
even my secretary, but not simply `Austin'.
guid: bd58d337-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ContactLocationType
direct specialization of:
#$PartiallyTangible
direct generalization of:
#$MailingLocation
#$MilitaryBase-Grounds #$PhysicalContactLocation
#$PhysicalContactLocation physical locations
A collection of locations; a subcollection of #$HumanShelterConstruction.
An instance of #$PhysicalContactLocation
is the principal place(s) where an #$Agent can be
physically found. For people, that would (probably) be their
home and/or office. For an organization, it would be the
location of their place of business, their headquarters,
etc. Note that a purely procedural method for getting in
touch with someone, such as their Post Office Box number in
a certain city, is not a #$PhysicalContactLocation.
guid: c10ad9b0-9c29-11b1-9dad-c379636f7270
direct instance of:
#$ContactLocationType
direct specialization of:
#$Place #$HumanShelterConstruction #$ContactLocation
direct generalization of:
#$HumanResidence
#$Workplace
#$pointsOfContact points
of contact
The predicate #$pointsOfContact
indicates the places at which a particular agent can be
reached. (#$pointsOfContact
AGENT LOC) means that the #$Agent AGENT can be
contacted at the #$ContactLocation LOC.
guid: bd5d95b2-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate #$CotemporalObjectsSlot
#$phoneNumberText phone
number text
The predicate #$phoneNumberText
is used to relate a telephone number to a contact location.
(#$phoneNumberText
LOC NUM) means NUM is a string denoting (one of) the phone
number(s) of the #$ContactLocation LOC.
guid: bd58db7e-9c29-11b1-9dad-c379636f7270
direct instance of: #$BinaryPredicate
#$PhoneNumber phone numbers
A collection of strings. Each instance of #$PhoneNumber
is a string that represents a telephone number.
guid: bd58ecee-9c29-11b1-9dad-c379636f7270
direct instance of:
#$IDStringType
direct specialization of: #$ContactInfoString
direct generalization of: #$AccessNumber
#$faxNumberText fax
number text
The predicate #$faxNumberText
relates a particular location to the fax number at that
location. (#$faxNumberText
LOC NUM) means that NUM is a string denoting (one of) the
fax number(s) of the #$ContactLocation LOC.
guid: bd5900f8-9c29-11b1-9dad-c379636f7270
direct instance of: #$BinaryPredicate
#$pointOfContactInfo point
of contact info
The predicate #$pointOfContactInfo
allows one to characterize a string of information as
belonging to a certain kind of contact location for a
particular agent. (#$pointOfContactInfo
AGENT LOC-TYPE INFO-TYPE STRING) means that the #$Agent AGENT's contact
locations of type LOC-TYPE (an instance of #$ContactLocationType
(q.v.)) have STRING as one of their contact address of
INFO-TYPE (where INFO-TYPE is a #$BinaryPredicate such as #$phoneNumberText,
#$faxNumberText,
or #$addressText).
guid: bd58c4f1-9c29-11b1-9dad-c379636f7270
direct instance of: #$QuaternaryPredicate
#$IDString identification strings
A specialization of #$CharacterString.
Each instance of #$IDString is a
character string which is used to denote a specific object
in some identification mapping. Notable specializations of
#$IDString
include #$PhoneNumber,
#$ProperNameString,
and #$ContactInfoString.
guid: bd5888ad-9c29-11b1-9dad-c379636f7270
direct instance of:
#$IDStringType
direct specialization of:
#$CharacterString #$IDObject
direct generalization of:
#$ProperNameString
#$ContactInfoString
#$IDStringType types
of ID string
A collection of collections. Each instance of #$IDStringType
is a collection of character strings which is a
subcollection of #$IDString
(q.v.). A few instances of #$IDStringType:
#$ProductName, #$ProductVersion, #$EMailAddress, #$PhoneNumber,
#$PostalCode.
guid: bd588b45-9c29-11b1-9dad-c379636f7270
direct instance of: #$SecondOrderCollection
direct specialization of:
#$ObjectType
Copyright© 1996-2002. All rights reserved. See Terms of Usage.