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

Formal Language: 


KB Term:  Term intersection
English Word: 

  GeographicArea

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 3748-3748
(instance ArcticRegion GeographicArea) Geography.kif 3686-3686
(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 7250-7250
(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 820-820
(domain BorderFn 2 GeographicArea) Geography.kif 821-821
(domain DatumFn 1 GeographicArea) Geography.kif 5078-5078
(domain DemonymFn 1 GeographicArea) Mid-level-ontology.kif 32564-32564
(domain DirectionalSubregionFn 2 GeographicArea) Geography.kif 615-615
(domain ElevationHighPointFn 1 GeographicArea) Geography.kif 2082-2082
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 2058-2058
(domain GeographicCenterFn 1 GeographicArea) Geography.kif 472-472
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 7218-7218
(domain Mean10MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2903-2903
(domain Mean1MinuteWindSpeedFn 1 GeographicArea) Weather.kif 3008-3008
(domain Mean2MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2973-2973
(domain Mean3MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2938-2938
(domain Mean3SecondWindSpeedFn 1 GeographicArea) Weather.kif 2584-2584
(domain Mean3SecondWindSpeedListFn 1 GeographicArea) Weather.kif 2678-2678
(domain OrganismPopulationFn 2 GeographicArea) Mid-level-ontology.kif 33675-33675
(domain SeacoastFn 1 GeographicArea) Geography.kif 6381-6381
(domain ShorelineFn 1 GeographicArea) Geography.kif 6438-6438
(domain ThreeSecondGustSpeedFn 1 GeographicArea) Weather.kif 2718-2718
(domain agentOperatesInArea 2 GeographicArea) Government.kif 2197-2197
(domain airQualityIndex 1 GeographicArea) Weather.kif 3778-3778
(domain arableLandArea 1 GeographicArea) Geography.kif 2197-2197
(domain areaOfResponsibility 3 GeographicArea) Mid-level-ontology.kif 24571-24571
(domain averagePrecipitationForPeriod 1 GeographicArea) Weather.kif 1455-1455
(domain averageRainfallForPeriod 1 GeographicArea) Geography.kif 1436-1436

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 2032-2037
(=>
    (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 837-842
(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))
Geography.kif 1852-1858
(=>
    (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 2089-2100
(=>
    (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 2065-2079
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1990-1995
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1983-1988
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 2004-2009
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))
Geography.kif 1706-1713
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1997-2002
(=>
    (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 3917-3929
(=>
    (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 3933-3945
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))
Geography.kif 630-635
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))
Geography.kif 637-642
(=>
    (and
        (instance ?DUST DustStorm)
        (instance ?PLACE GeographicArea)
        (eventLocated ?DUST ?PLACE))
    (holdsDuring
        (WhenFn ?DUST)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 3285-3293
(=>
    (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 3222-3235
(=>
    (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 1901-1917
(=>
    (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 1924-1938

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 2336-2357
(=>
    (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 1385-1392
(=>
    (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 2026-2031
(=>
    (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 6572-6582
(=>
    (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 1948-1960
(=>
    (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 2417-2427
(=>
    (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 3327-3336
(=>
    (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 3312-3325
(=>
    (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 3626-3641
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?AREA ?STRONG)
            (and
                (instance ?AREA GeographicArea)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?STRONG KnotUnitOfSpeed))
                (greaterThan ?STRONG 30.0)))))
Weather.kif 3591-3600
(=>
    (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 3579-3589
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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