Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - GeographicArea
GeographicArea(geographic area)
'hood, Achaea, Adelie_Coast, Adelie_Land, Andalucia, Andalusia, Andalusian, Antarctic, Antarctic_Zone, Appalachia, Appalachian, Arctic, Atacama_Trench, Atlantic, Australasian, Austria-Hungary, Baltic, Bermuda_Triangle, Bible_Belt, Bithynia, Bluegrass, Bluegrass_Country, Bluegrass_Region, Bohemia, Bougainville_Trench, Brandenburg, British_East_Africa, British_West_Africa, Caledonia, Camp_David, Canal_Zone, Canara, Cappadocia, Carolina, Carolinas, Caucasian, Caucasic, Chaldaea, Chaldea, Coats_Land, Cumbria, DMZ, Dakota, Dalmatian, Dar_al-harb, Earth's_crust, Earth's_surface, East, East_Anglia, East_Coast...

appearance as argument number 1
-------------------------


(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

appearance as argument number 2
-------------------------


(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

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
(=>
    (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
(=>
    (and
        (instance
            (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea)
        (instance ?COUNTRY1 Nation)
        (instance ?COUNTRY2 Nation))
    (instance
        (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))
Geography.kif 870-875
(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))
Geography.kif 1885-1891
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 2023-2028
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 2016-2021
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 2037-2042
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))
Geography.kif 1739-1746
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 2030-2035
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (lessThan ?FRACTION 0.3))
Weather.kif 1127-1133
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (lessThan ?FRACTION 0.3))))
Weather.kif 1117-1125
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (greaterThan ?FRACTION 0.7))
Weather.kif 1178-1184
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThan ?FRACTION 0.7))))
Weather.kif 1168-1176
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))
Geography.kif 663-668
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))
Geography.kif 670-675
(=>
    (and
        (instance ?DUST DustStorm)
        (instance ?PLACE GeographicArea)
        (eventLocated ?DUST ?PLACE))
    (holdsDuring
        (WhenFn ?DUST)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 3324-3332
(=>
    (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
(=>
    (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
(=>
    (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

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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (attribute ?A UrbanArea)
    (instance ?A GeographicArea))
Mid-level-ontology.kif 28521-28523
(=>
    (climateTypeInArea ?AREA ?CLASS)
    (exists (?REGION ?TYPE)
        (and
            (instance ?REGION GeographicArea)
            (instance ?TYPE ?CLASS)
            (attribute ?REGION ?TYPE)
            (part ?REGION ?AREA))))
Geography.kif 1418-1425
(=>
    (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))
Media.kif 2638-2643
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (located ?OBJECT ?PLACE))))
Geography.kif 2059-2064
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (instance ?M Map)
    (exists (?A)
        (and
            (instance ?A GeographicArea)
            (represents ?M ?A))))
Mid-level-ontology.kif 14627-14632
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (instance ?STORM TropicalCyclonicSystem)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (geographicSubregion ?PLACE Tropics)
            (origin ?STORM ?PLACE))))
Weather.kif 603-609
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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

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