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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - GeographicArea
GeographicArea

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
(subclass GeographicArea Region) Merge.kif 14184-14184

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


(disjoint AstronomicalBody GeographicArea) Merge.kif 14176-14176
(disjoint SpaceRegion GeographicArea) Mid-level-ontology.kif 10274-10274
(instance AntarcticArea GeographicArea) Geography.kif 3919-3919
(instance ArcticRegion GeographicArea) Geography.kif 3857-3857
(instance BetLidJunctionIsrael GeographicArea) CountriesAndRegions.kif 2647-2647
(instance BishkekKyrgyzstan GeographicArea) CountriesAndRegions.kif 3592-3592
(instance BosphorousStraitsTurkey GeographicArea) CountriesAndRegions.kif 2672-2672
(instance BwindiforestUganda GeographicArea) CountriesAndRegions.kif 2689-2689
(instance CaribbeanRegion GeographicArea) Geography.kif 93-93
(instance CentralAfrica GeographicArea) Geography.kif 78-78
(instance CentralAsia GeographicArea) Geography.kif 100-100
(instance CentralEurope GeographicArea) Geography.kif 84-84
(instance CentralSouthAmerica GeographicArea) Geography.kif 95-95
(instance ClarkAirbasePhilippines GeographicArea) CountriesAndRegions.kif 2734-2734
(instance DangDistrictNepal GeographicArea) CountriesAndRegions.kif 2768-2768
(instance DistrictOfMansehraPakistan GeographicArea) CountriesAndRegions.kif 2789-2789
(instance DushanbeAirportTajikistan GeographicArea) CountriesAndRegions.kif 2810-2810
(instance EasternAfrica GeographicArea) Geography.kif 79-79
(instance EasternAsia GeographicArea) Geography.kif 101-101
(instance EasternEurope GeographicArea) Geography.kif 85-85
(instance EasternSouthAmerica GeographicArea) Geography.kif 96-96
(instance England GeographicArea) Geography.kif 7421-7421
(instance FethiyeAndMarmarisTurkey GeographicArea) CountriesAndRegions.kif 2840-2840
(instance FloridaUnitedStates GeographicArea) CountriesAndRegions.kif 2843-2843
(instance GazaStrip GeographicArea) CountriesAndRegions.kif 1389-1389

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 991-991
(domain BorderFn 2 GeographicArea) Geography.kif 992-992
(domain DatumFn 1 GeographicArea) Geography.kif 5249-5249
(domain DemonymFn 1 GeographicArea) Mid-level-ontology.kif 32564-32564
(domain DirectionalSubregionFn 2 GeographicArea) Geography.kif 786-786
(domain ElevationHighPointFn 1 GeographicArea) Geography.kif 2253-2253
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 2229-2229
(domain GeographicCenterFn 1 GeographicArea) Geography.kif 505-505
(domain GeographicEastFn 1 GeographicArea) Geography.kif 611-611
(domain GeographicNorthFn 1 GeographicArea) Geography.kif 527-527
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 7389-7389
(domain GeographicSouthFn 1 GeographicArea) Geography.kif 573-573
(domain GeographicWestFn 1 GeographicArea) Geography.kif 642-642
(domain Mean10MinutesWindSpeedFn 1 GeographicArea) Weather.kif 3047-3047
(domain Mean1MinuteWindSpeedFn 1 GeographicArea) Weather.kif 3152-3152
(domain Mean2MinutesWindSpeedFn 1 GeographicArea) Weather.kif 3117-3117
(domain Mean3MinutesWindSpeedFn 1 GeographicArea) Weather.kif 3082-3082
(domain Mean3SecondWindSpeedFn 1 GeographicArea) Weather.kif 2728-2728
(domain Mean3SecondWindSpeedListFn 1 GeographicArea) Weather.kif 2822-2822
(domain OrganismPopulationFn 2 GeographicArea) Mid-level-ontology.kif 33675-33675
(domain SeacoastFn 1 GeographicArea) Geography.kif 6552-6552
(domain ShorelineFn 1 GeographicArea) Geography.kif 6609-6609
(domain ThreeSecondGustSpeedFn 1 GeographicArea) Weather.kif 2862-2862
(domain agentOperatesInArea 2 GeographicArea) Government.kif 2197-2197
(domain airQualityIndex 1 GeographicArea) Weather.kif 3922-3922

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 2203-2208
(=>
    (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 1008-1013
(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))		 Geography.kif 2023-2029
(=>
    (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 2260-2271
(=>
    (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 2236-2250
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 2161-2166
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 2154-2159
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 2175-2180
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))		 Geography.kif 1877-1884
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 2168-2173
(=>
    (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 4088-4100
(=>
    (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 4104-4116
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))		 Geography.kif 801-806
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))		 Geography.kif 808-813
(=>
    (and
        (instance ?DUST DustStorm)
        (instance ?PLACE GeographicArea)
        (eventLocated ?DUST ?PLACE))
    (holdsDuring
        (WhenFn ?DUST)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))		 Weather.kif 3429-3437
(=>
    (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 3366-3379
(=>
    (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 2480-2501
(=>
    (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 1556-1563
(=>
    (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 2197-2202
(=>
    (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 6743-6753
(=>
    (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 2561-2571
(=>
    (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 3471-3480
(=>
    (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 3456-3469
(=>
    (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 3770-3785
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?AREA ?STRONG)
            (and
                (instance ?AREA GeographicArea)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?STRONG KnotUnitOfSpeed))
                (greaterThan ?STRONG 30.0)))))		 Weather.kif 3735-3744
(=>
    (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 3723-3733
(=>
    (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