GeographicArea - Sigma Knowledge base Browser

appearance as argument number 3

(domain BorderFn 1 GeographicArea)	Geography.kif 853-853	The number 1 argument of border is an instance of geographic area
(domain BorderFn 2 GeographicArea)	Geography.kif 854-854	The number 2 argument of border is an instance of geographic area
(domain DatumFn 1 GeographicArea)	Geography.kif 5111-5111	The number 1 argument of datum is an instance of geographic area
(domain DemonymFn 1 GeographicArea)	Mid-level-ontology.kif 32564-32564	The number 1 argument of Demonym fn is an instance of geographic area
(domain DirectionalSubregionFn 2 GeographicArea)	Geography.kif 648-648	The number 2 argument of directional subregion is an instance of geographic area
(domain ElevationHighPointFn 1 GeographicArea)	Geography.kif 2115-2115	The number 1 argument of elevation high point is an instance of geographic area
(domain ElevationLowPointFn 1 GeographicArea)	Geography.kif 2091-2091	The number 1 argument of elevation low point is an instance of geographic area
(domain GeographicCenterFn 1 GeographicArea)	Geography.kif 505-505	The number 1 argument of geographic center is an instance of geographic area
(domain GeographicPartTypeFn 2 GeographicArea)	Geography.kif 7251-7251	The number 2 argument of geographic part type fn is an instance of geographic area
(domain Mean10MinutesWindSpeedFn 1 GeographicArea)	Weather.kif 2942-2942	The number 1 argument of ten minute mean surface wind speed is an instance of geographic area
(domain Mean1MinuteWindSpeedFn 1 GeographicArea)	Weather.kif 3047-3047	The number 1 argument of one minute mean surface wind speed is an instance of geographic area
(domain Mean2MinutesWindSpeedFn 1 GeographicArea)	Weather.kif 3012-3012	The number 1 argument of two minute mean surface wind speed is an instance of geographic area
(domain Mean3MinutesWindSpeedFn 1 GeographicArea)	Weather.kif 2977-2977	The number 1 argument of three minute mean surface wind speed is an instance of geographic area
(domain Mean3SecondWindSpeedFn 1 GeographicArea)	Weather.kif 2623-2623	The number 1 argument of three second mean surface wind speed is an instance of geographic area
(domain Mean3SecondWindSpeedListFn 1 GeographicArea)	Weather.kif 2717-2717	The number 1 argument of mean three second wind speed list is an instance of geographic area
(domain OrganismPopulationFn 2 GeographicArea)	Mid-level-ontology.kif 33675-33675	The number 2 argument of population of organisms is an instance of geographic area
(domain SeacoastFn 1 GeographicArea)	Geography.kif 6414-6414	The number 1 argument of seacoast is an instance of geographic area
(domain ShorelineFn 1 GeographicArea)	Geography.kif 6471-6471	The number 1 argument of shoreline is an instance of geographic area
(domain ThreeSecondGustSpeedFn 1 GeographicArea)	Weather.kif 2757-2757	The number 1 argument of three second gust speed is an instance of geographic area
(domain agentOperatesInArea 2 GeographicArea)	Government.kif 2197-2197	The number 2 argument of agent operates in area is an instance of geographic area
(domain airQualityIndex 1 GeographicArea)	Weather.kif 3817-3817	The number 1 argument of air quality index is an instance of geographic area
(domain arableLandArea 1 GeographicArea)	Geography.kif 2230-2230	The number 1 argument of arable land area is an instance of geographic area
(domain areaOfResponsibility 3 GeographicArea)	Mid-level-ontology.kif 24571-24571	The number 3 argument of area of responsibility is an instance of geographic area
(domain averagePrecipitationForPeriod 1 GeographicArea)	Weather.kif 1455-1455	The number 1 argument of average precipitation for period is an instance of geographic area
(domain averageRainfallForPeriod 1 GeographicArea)	Geography.kif 1469-1469	The number 1 argument of average rainfall for period is an instance of geographic area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth))	Geography.kif 2065-2070	If a length measure is an elevation of an object and the object is located at another object and the other object is an instance of geographic area, then the other object is a superficial part of planet earth
(=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR_PLACE ?PRIOR_RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR_RES Object) (instance ?PRIOR_PLACE GeopoliticalArea) (located ?PRIOR_RES ?PRIOR_PLACE) (not (equal ?PLACE ?PRIOR_PLACE)) (not (equal ?RESIDENCE ?PRIOR_RES)) (not (geographicSubregion ?PLACE ?PRIOR_PLACE)) (not (geographicSubregion ?PRIOR_PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR_RES)))))	MilitaryPersons.kif 26-47	If dislocated civilian is an attribute of an entity and the entity lives in another entity and the other entity is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, a third entity_PLACE and the third entity_RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the third entity_RES is an instance of object and the third entity_PLACE is an instance of geopolitical area and the third entity_RES is located at the third entity_PLACE and equal the geographic area and the third entity_PLACE and equal the other entity and the third entity_RES and the geographic area is not a geographic subregion of the third entity_PLACE and the third entity_PLACE is not a geographic subregion of the geographic area and the entity lives in the third entity_RES holds during the other time interval
(=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))	Geography.kif 870-875	If the border of a geographic area and another geographic area is an instance of geographic area and the geographic area is an instance of nation and the other geographic area is an instance of nation, then the border of the geographic area and the other geographic area is an instance of international border
(=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE))	Geography.kif 1885-1891	If a geographic area is an instance of geographic area and a terrain attribute is an attribute of an object and the terrain attribute is an instance of terrain attribute and the object is partly located in the geographic area, then the terrain attribute is a terrain in area of the geographic area
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationHighPointFn ?AREA) ?AREA) (elevation (ElevationHighPointFn ?AREA) (MeasureFn ?ELEV1 ?UNIT))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationHighPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?UNIT)) (greaterThan ?ELEV2 ?ELEV1)))))	Geography.kif 2122-2133	If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a real number an unit of measure(s) is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and equal the other geographic area and not the elevation high point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is greater than the real number
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (instance ?U UnitOfLength) (elevation (ElevationLowPointFn ?AREA) (MeasureFn ?ELEV1 ?U))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?U)) (lessThan ?ELEV2 ?ELEV1)))))	Geography.kif 2098-2112	If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and equal the other geographic area and not the elevation low point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is less than the real number
(=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 2023-2028	If an object is an instance of geographic area and a process is an instance of volcanic eruption and the process is located at the object, then geologically stable is not an attribute of the object
(=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 2016-2021	If an object is an instance of geographic area and another object is an instance of volcano and volcanically active is an attribute of the other object, then geologically stable is not an attribute of the object
(=> (and (instance ?AREA GeographicArea) (instance ?FAULT GeologicalFault) (located ?FAULT ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 2037-2042	If an object is an instance of geographic area and a physical is an instance of geological fault and the physical is located at the object, then geologically stable is not an attribute of the object
(=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone))	Geography.kif 1739-1746	If a geographic area is an instance of geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and 10.0 is greater than the real number, then polar climate zone is a climate type in area of the geographic area
(=> (and (instance ?AREA GeographicArea) (instance ?SHAKING EarthTremor) (eventLocated ?SHAKING ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 2030-2035	If an object is an instance of geographic area and a process is an instance of earth tremor and the process is located at the object, then geologically stable is not an attribute of the object
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (lessThan ?FRACTION 0.3))	Weather.kif 1127-1133	If a region is an instance of geographic area and a process is an instance of clear weather and the process is located at the region and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is less than 0.3
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (lessThan ?FRACTION 0.3))))	Weather.kif 1117-1125	If a region is an instance of geographic area and a process is an instance of clear weather and the process is located at the region, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is less than 0.3
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (greaterThan ?FRACTION 0.7))	Weather.kif 1178-1184	If a region is an instance of geographic area and a process is an instance of overcast weather and the process is located at the region and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is greater than 0.7
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThan ?FRACTION 0.7))))	Weather.kif 1168-1176	If a region is an instance of geographic area and a process is an instance of overcast weather and the process is located at the region, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is greater than 0.7
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (and (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7)))	Weather.kif 1152-1160	If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at the region and a nonnegative real number is a cloud cover fraction of the region, then the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7))))	Weather.kif 1141-1150	If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at the region, then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7
(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?MN) (and (headingWRTMagneticNorth ?AREA (MeasureFn ?MN AngularDegree)) (headingWRTTrueNorth ?AREA (MeasureFn (AdditionFn ?MN ?DEG) AngularDegree)))))	Geography.kif 3950-3962	If an object is an instance of geographic area and the object is object geographic coordinates a latitude for a longitude and equal a real number angular degree(s) and Location on Earth at Latitude the latitude and Longitude the longitude has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists another real number such that the other real number angular degree(s) is a headingWRT magnetic north of the object and (the other real number and the real number) angular degree(s) is a headingWRT true north of the object
(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?TN) (and (headingWRTTrueNorth ?AREA (MeasureFn ?TN AngularDegree)) (headingWRTMagneticNorth ?AREA (MeasureFn (SubtractionFn ?TN ?DEG) AngularDegree)))))	Geography.kif 3966-3978	If an object is an instance of geographic area and the object is object geographic coordinates a latitude for a longitude and equal a real number angular degree(s) and Location on Earth at Latitude the latitude and Longitude the longitude has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists another real number such that the other real number angular degree(s) is a headingWRT true north of the object and (the other real number and the real number) angular degree(s) is a headingWRT magnetic north of the object
(=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (geographicSubregion (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))	Geography.kif 663-668	If a directional attribute is an instance of directional attribute and a geographic area is an instance of geographic area and the directional subregion of the directional attribute and the geographic area is an instance of geographic area, then the directional subregion of the directional attribute and the geographic area is a geographic subregion of the geographic area
(=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (orientation (DirectionalSubregionFn ?DIRECTION ?AREA) (GeographicCenterFn ?AREA) ?DIRECTION))	Geography.kif 670-675	If a directional attribute is an instance of directional attribute and a geographic area is an instance of geographic area and the directional subregion of the directional attribute and the geographic area is an instance of geographic area, then the directional subregion of the directional attribute and the geographic area is the directional attribute to the geographic center of the geographic area
(=> (and (instance ?DUST DustStorm) (instance ?PLACE GeographicArea) (eventLocated ?DUST ?PLACE)) (holdsDuring (WhenFn ?DUST) (modalAttribute (attribute ?PLACE BadAirQuality) Likely)))	Weather.kif 3324-3332	If a process is an instance of dust storm and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object has the modal force of likely holds during the time of existence of the process
(=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000.0))	Weather.kif 3261-3274	If a process is an instance of fog and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object is an instance of aerosal and the other object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000.0
(=> (and (instance ?G StrongGust) (eventLocated ?G ?R) (instance ?R GeographicArea) (equal (ThreeSecondGustSpeedFn ?R (WhenFn ?G)) (MeasureFn ?TOP MilesPerHour)) (earlier ?T (WhenFn ?G)) (holdsDuring ?T (surfaceWindSpeed ?R (MeasureFn ?BASE MilesPerHour))) (equal ?DIFF (SubtractionFn ?TOP ?BASE))) (and (greaterThan ?DIFF 17) (lessThanOrEqualTo ?DIFF 29)))	Weather.kif 1930-1946	If a process is an instance of strong gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than 17 and the third real number is less than or equal to 29
(=> (and (instance ?G ViolentGust) (eventLocated ?G ?R) (instance ?R GeographicArea) (equal (ThreeSecondGustSpeedFn ?R (WhenFn ?G)) (MeasureFn ?TOP MilesPerHour)) (earlier ?T (WhenFn ?G)) (holdsDuring ?T (surfaceWindSpeed ?R (MeasureFn ?BASE MilesPerHour))) (equal ?DIFF (SubtractionFn ?TOP ?BASE))) (greaterThan ?DIFF 29))	Weather.kif 1953-1967	If a process is an instance of violent gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than 29

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (and (instance ?L LightningStrike) (instance ?A WaterCloud) (origin ?L ?A) (destination ?L ?G)) (instance ?G GeographicArea))	Weather.kif 1005-1011	If a process is an instance of lightning strike and an object is an instance of water cloud and the process originates at the object and the process ends up at an entity, then the entity is an instance of geographic area
(=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G))))	Weather.kif 2375-2396	If a process is an instance of tornado and another process is an instance of rotating and an object is an instance of air and the processRAN is an instance of translocation and the other process is a subprocess of the process and the processRAN is a subprocess of the other process and the object is a patient of the processRAN and entities in the process the processRAN are moving horizontal, then there exist another object, a self connected object,, , the processOP,, , a third self connected object,, , a fourth self connected object and a fifth self connected object such that the other object is an instance of geographic area and the process is located at the other object and the self connected object is a part of the object and cone segment is an attribute of the self connected object and the top of the self connected object is the processOP and the bottom of the self connected object is the third self connected object and the fourth self connected object is an instance of cloud and the bottom of the fourth self connected object is the fifth self connected object and the processOP meets the fifth self connected object and the third self connected object meets the other object
(=> (and (instance ?TEXT BirthCertificate) (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N) (and (birthdate ?A ?DAY) (instance ?DAY Day) (birthplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name)))))	Biography.kif 256-270	If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name
(=> (and (instance ?TEXT DeathCertificate) (instance ?D Death) (instance ?A Human) (experiencer ?D ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N ?PROC) (and (deathdate ?A ?DAY) (instance ?DAY Day) (deathplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name) (causes ?PROC ?D) (instance ?PROC Process)))))	Biography.kif 287-303	If a content bearing physical is an instance of death certificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist the processAY, another entity,, , a third entity and the other entityROC such that the processAY is a deathdate of the agent and the processAY is an instance of day and the other entity is a deathplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name and the other entityROC causes the process and the other entityROC is an instance of process
(=> (and (instance ?W Transitway) (attribute ?W BiDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm ?P (exists (?T1 ?A ?B) (and (instance ?T1 Transportation) (path ?T1 ?W) (instance ?A GeographicArea) (origin ?T1 ?A) (instance ?B GeographicArea) (destination ?T1 ?B) (holdsDuring (WhenFn ?T1) (exists (?T2) (and (instance ?T2 Transportation) (path ?T2 ?W) (origin ?T1 ?B) (destination ?T1 ?A) (not (equal ?T1 ?T2))))))) Permission))))	Transportation.kif 3242-3266	If an object is an instance of transitway and bidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and equal the other entity and the fifth entity holds during the time of existence of the other entity for permission
(=> (and (instance ?W Transitway) (attribute ?W UniDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm ?P (exists (?T1 ?A ?B) (and (instance ?T1 Transportation) (path ?T1 ?W) (instance ?A GeographicArea) (origin ?T1 ?A) (instance ?B GeographicArea) (destination ?T1 ?B) (holdsDuring (WhenFn ?T1) (exists (?T2) (and (instance ?T2 Transportation) (path ?T2 ?W) (origin ?T1 ?B) (destination ?T1 ?A) (not (equal ?T1 ?T2))))))) Prohibition))))	Transportation.kif 3275-3299	If an object is an instance of transitway and unidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and equal the other entity and the fifth entity holds during the time of existence of the other entity for prohibition
(=> (attribute ?A UrbanArea) (instance ?A GeographicArea))	Mid-level-ontology.kif 28521-28523	If urban is an attribute of an object, then the object is an instance of geographic area
(=> (climateTypeInArea ?AREA ?CLASS) (exists (?REGION ?TYPE) (and (instance ?REGION GeographicArea) (instance ?TYPE ?CLASS) (attribute ?REGION ?TYPE) (part ?REGION ?AREA))))	Geography.kif 1418-1425	If a kind of climate zone is a climate type in area of a geographic area, then there exist an object and an attribute such that the object is an instance of geographic area and the attribute is an instance of a kind of climate zone and the attribute is an attribute of the object and the object is a part of the geographic area
(=> (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X) (and (instance ?X GeographicArea) (instance ?TOKEN AlphabeticString) (stringLength 2 ?TOKEN)))	Media.kif 2638-2643	If a symbolic string in ISO_3166_1_alpha_2 denotes an entity, then the entity is an instance of geographic area and the symbolic string is an instance of alphabetic string and the symbolic string is 2 characters long
(=> (elevation ?OBJECT ?HEIGHT) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (located ?OBJECT ?PLACE))))	Geography.kif 2059-2064	If a length measure is an elevation of an object, then there exists another object such that the other object is an instance of geographic area and the object is located at the other object
(=> (instance ?CAC Cactus) (modalAttribute (exists (?AREA) (and (instance ?AREA GeographicArea) (located ?CAC ?AREA) (exists (?D) (and (instance ?D Drought) (eventLocated ?D ?AREA))))) Likely))	Geography.kif 6605-6615	If an entity is an instance of cactus, then the statement there exists another entity such that the other entity is an instance of geographic area and the entity is located at the other entity and there exists a third entity such that the third entity is an instance of drought and the third entity is located at the other entity has the modal force of likely
(=> (instance ?DUSTSTORM DustStorm) (or (exists (?AREA1) (and (instance ?AREA1 GeographicArea) (climateTypeInArea ?AREA1 AridClimateZone) (eventLocated ?DUSTSTORM ?AREA1))) (exists (?AREA2) (and (instance ?AREA2 GeographicArea) (climateTypeInArea ?AREA2 SemiaridClimateZone) (eventLocated ?DUSTSTORM ?AREA2)))))	Weather.kif 1977-1989	If a process is an instance of dust storm, then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at the geographic area or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at the other geographic area
(=> (instance ?H Hurricane) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 74.0))))	Weather.kif 724-735	If an entity is an instance of hurricane, then there exist a process, a geographic area and a real number such that the process is an instance of tropical cyclone and the geographic area is an instance of geographic area and the process is located at the geographic area and equal the real number miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 74.0
(=> (instance ?M Map) (exists (?A) (and (instance ?A GeographicArea) (represents ?M ?A))))	Mid-level-ontology.kif 14627-14632	If an entity is an instance of map, then there exists another entity such that the other entity is an instance of geographic area and the entity expresses the other entity
(=> (instance ?M SurfaceWindSpeedMeasuring) (exists (?PLACE ?TOOL) (and (instance ?PLACE GeographicArea) (instance ?TOOL Device) (eventLocated ?M ?PLACE) (instrument ?M ?TOOL) (holdsDuring (WhenFn ?M) (elevation ?TOOL (MeasureFn 10.0 Meter))))))	Weather.kif 2456-2466	If a process is an instance of surface wind speed measuring, then there exist an object and another object such that the object is an instance of geographic area and the other object is an instance of device and the process is located at the object and the other object is an instrument for the process and 10.0 meter(s) is an elevation of the other object holds during the time of existence of the process
(=> (instance ?PROCESS Blizzard) (exists (?AREA ?DIST) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?PROCESS) (MeasureFn ?DIST Meter)) (lessThan ?DIST 400.0))))	Weather.kif 3366-3375	If a process is an instance of blizzard, then there exist a region and a real number such that the region is an instance of geographic area and the process is located at the region and the visibility at the region during the time of existence of the process is the real number meter(s) and the real number is less than 400.0
(=> (instance ?PROCESS Blizzard) (holdsDuring (WhenFn ?PROCESS) (exists (?AREA ?GALE ?DURATION) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (surfaceWindSpeed ?AREA (MeasureFn ?GALE KnotUnitOfSpeed)) (greaterThan ?GALE 35.0) (duration (WhenFn ?PROCESS) (MeasureFn ?DURATION HourDuration)) (greaterThan ?DURATION 3)))))	Weather.kif 3351-3364	If a physical is an instance of blizzard, then there exist an entity, another entity and a third entity such that the entity is an instance of geographic area and the physical is located at the entity and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 35.0 and duration of the time of existence of the physical is the third entity hour duration(s) and the third entity is greater than 3 holds during the time of existence of the physical
(=> (instance ?SNOWSTORM Snowstorm) (holdsDuring (WhenFn ?SNOWSTORM) (exists (?SNOW ?AREA ?NUM) (and (instance ?SNOW Snowing) (instance ?AREA GeographicArea) (eventLocated ?SNOW ?AREA) (subProcess ?SNOW ?SNOWSTORM) (snowfallIntensity ?AREA (WhenFn ?SNOW) (PerFn (MeasureFn ?NUM Centimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 5.0)))))	Weather.kif 3665-3680	If a physical is an instance of snow storm, then there exist an entity, another entity and a third entity such that the entity is an instance of snowing and the other entity is an instance of geographic area and the entity is located at the other entity and the entity is a subprocess of the physical and the rate of snow falling at the other entity during the time of existence of the entity is the per of the third entity centimeter(s) and 1 hour duration(s) and the third entity is greater than 5.0 holds during the time of existence of the physical
(=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?AREA ?STRONG) (and (instance ?AREA GeographicArea) (surfaceWindSpeed ?AREA (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0)))))	Weather.kif 3630-3639	If a physical is an instance of storm, then there exist an entity and another entity such that the entity is an instance of geographic area and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 30.0 holds during the time of existence of the physical
(=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (modalAttribute (exists (?P ?AREA) (and (instance ?P Precipitation) (instance ?AREA GeographicArea) (eventLocated ?P ?AREA) (subProcess ?P ?STORM))) Likely)))	Weather.kif 3618-3628	If a physical is an instance of storm, then the statement there exist an entity and another entity such that the entity is an instance of precipitation and the other entity is an instance of geographic area and the entity is located at the other entity and the entity is a subprocess of the physical has the modal force of likely holds during the time of existence of the physical
(=> (instance ?STORM TropicalCyclonicSystem) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (geographicSubregion ?PLACE Tropics) (origin ?STORM ?PLACE))))	Weather.kif 603-609	If a process is an instance of tropical cyclonic system, then there exists a geographic area such that the geographic area is an instance of geographic area and the geographic area is a geographic subregion of tropics and the process originates at the geographic area
(=> (instance ?T Typhoon) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean10MinutesWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 64.0))))	Weather.kif 758-769	If an entity is an instance of typhoon, then there exist the entityC, a geographic area and a real number such that the entityC is an instance of tropical cyclone and the geographic area is an instance of geographic area and the entityC is located at the geographic area and equal the real number miles per hour(s) and Mean10MinutesWindSpeedFn for the time of existence of the entityC in region the geographic area and the real number is greater than or equal to 64.0
(=> (instance ?TC TropicalCyclone) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 44.0))))	Weather.kif 665-675	If a process is an instance of tropical cyclone, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and equal the real number miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 44.0
(=> (instance ?TD TropicalDepression) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TD ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TD))) (lessThanOrEqualTo ?WIND 38.0))))	Weather.kif 644-654	If a process is an instance of tropical depression, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and equal the real number miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is less than or equal to 38.0
(=> (instance ?TS TropicalStorm) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TS ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TS))) (greaterThanOrEqualTo ?WIND 39.0) (lessThanOrEqualTo ?WIND 74.0))))	Weather.kif 700-711	If a process is an instance of tropical storm, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and equal the real number miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 39.0 and the real number is less than or equal to 74.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

(documentation GeographicArea ChineseLanguage "这是一个地理位置，它一般拥有明确的界限。注：这个和它直接的超类别 Region 的区别在于，GeographicArea 是地球的三维 Region。因此除了地球以外，所有的天文物体与一维和二维 Region 都不被列入 GeographicArea。")	chinese_format.kif 1435-1437
(documentation GeographicArea EnglishLanguage "A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass Region in that a GeographicArea is a three-dimensional Region of the earth. Accordingly, all astronomical objects other than earth and all one-dimensional and two-dimensional Regions are not classed under GeographicArea.")	Merge.kif 14186-14191
(externalImage GeographicArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg")	pictureList.kif 8501-8501
(partition GeographicArea WaterArea LandArea)	Merge.kif 14185-14185	Geographic area is exhaustively partitioned into water area and land area
(subclass GeographicArea Region)	Merge.kif 14184-14184	Geographic area is a subclass of region

(disjoint AstronomicalBody GeographicArea)	Merge.kif 14176-14176	Astronomical body is disjoint from geographic area
(disjoint SpaceRegion GeographicArea)	Mid-level-ontology.kif 10274-10274	Space region is disjoint from geographic area
(instance AntarcticArea GeographicArea)	Geography.kif 3781-3781	Antarctic area is an instance of geographic area
(instance ArcticRegion GeographicArea)	Geography.kif 3719-3719	Arctic region is an instance of geographic area
(instance BetLidJunctionIsrael GeographicArea)	CountriesAndRegions.kif 2647-2647	Bet lid junction israel is an instance of geographic area
(instance BishkekKyrgyzstan GeographicArea)	CountriesAndRegions.kif 3592-3592	The Kyrgyz capital Bishkek is an instance of geographic area
(instance BosphorousStraitsTurkey GeographicArea)	CountriesAndRegions.kif 2672-2672	Bosphorous straits turkey is an instance of geographic area
(instance BwindiforestUganda GeographicArea)	CountriesAndRegions.kif 2689-2689	Bwindiforest uganda is an instance of geographic area
(instance CaribbeanRegion GeographicArea)	Geography.kif 93-93	Caribbean region is an instance of geographic area
(instance CentralAfrica GeographicArea)	Geography.kif 78-78	Central africa is an instance of geographic area
(instance CentralAsia GeographicArea)	Geography.kif 100-100	Central asia is an instance of geographic area
(instance CentralEurope GeographicArea)	Geography.kif 84-84	Central europe is an instance of geographic area
(instance CentralSouthAmerica GeographicArea)	Geography.kif 95-95	Central south america is an instance of geographic area
(instance ClarkAirbasePhilippines GeographicArea)	CountriesAndRegions.kif 2734-2734	Clark airbase philippines is an instance of geographic area
(instance DangDistrictNepal GeographicArea)	CountriesAndRegions.kif 2768-2768	Dang district nepal is an instance of geographic area
(instance DistrictOfMansehraPakistan GeographicArea)	CountriesAndRegions.kif 2789-2789	District of mansehra pakistan is an instance of geographic area
(instance DushanbeAirportTajikistan GeographicArea)	CountriesAndRegions.kif 2810-2810	Dushanbe airport tajikistan is an instance of geographic area
(instance EasternAfrica GeographicArea)	Geography.kif 79-79	Eastern africa is an instance of geographic area
(instance EasternAsia GeographicArea)	Geography.kif 101-101	Eastern asia is an instance of geographic area
(instance EasternEurope GeographicArea)	Geography.kif 85-85	Eastern europe is an instance of geographic area
(instance EasternSouthAmerica GeographicArea)	Geography.kif 96-96	Eastern south america is an instance of geographic area
(instance England GeographicArea)	Geography.kif 7283-7283	England is an instance of geographic area
(instance FethiyeAndMarmarisTurkey GeographicArea)	CountriesAndRegions.kif 2840-2840	Fethiye and marmaris turkey is an instance of geographic area
(instance FloridaUnitedStates GeographicArea)	CountriesAndRegions.kif 2843-2843	Florida is an instance of geographic area
(instance GazaStrip GeographicArea)	CountriesAndRegions.kif 1389-1389	Gaza strip is an instance of geographic area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

KB Term:			Term intersection

English Word: