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 14055-14060
(externalImage GeographicArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg") pictureList.kif 8502-8502
(partition GeographicArea WaterArea LandArea) Merge.kif 14054-14054 地理的地域 は 水域 + 土地面積 に exhaustively partitioned %n
(subclass GeographicArea Region) Merge.kif 14053-14053 地理的地域 は 地域 の subclass では %n

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


(disjoint AstronomicalBody GeographicArea) Merge.kif 14045-14045 天体 と 地理的地域 は disjoint では %n
(disjoint SpaceRegion GeographicArea) Mid-level-ontology.kif 9067-9067 SpaceRegion と 地理的地域 は disjoint では %n
(instance AntarcticArea GeographicArea) Geography.kif 3623-3623 AntarcticArea は 地理的地域 の instance では %n
(instance ArcticRegion GeographicArea) Geography.kif 3561-3561 ArcticRegion は 地理的地域 の instance では %n
(instance BetLidJunctionIsrael GeographicArea) CountriesAndRegions.kif 2644-2644 BetLidJunctionIsrael は 地理的地域 の instance では %n
(instance BishkekKyrgyzstan GeographicArea) CountriesAndRegions.kif 3594-3594 BishkekKyrgyzstan は 地理的地域 の instance では %n
(instance BosphorousStraitsTurkey GeographicArea) CountriesAndRegions.kif 2669-2669 BosphorousStraitsTurkey は 地理的地域 の instance では %n
(instance BwindiforestUganda GeographicArea) CountriesAndRegions.kif 2686-2686 BwindiforestUganda は 地理的地域 の instance では %n
(instance CaribbeanRegion GeographicArea) Geography.kif 93-93 CaribbeanRegion は 地理的地域 の instance では %n
(instance CentralAfrica GeographicArea) Geography.kif 78-78 CentralAfrica は 地理的地域 の instance では %n
(instance CentralAsia GeographicArea) Geography.kif 100-100 CentralAsia は 地理的地域 の instance では %n
(instance CentralEurope GeographicArea) Geography.kif 84-84 CentralEurope は 地理的地域 の instance では %n
(instance CentralSouthAmerica GeographicArea) Geography.kif 95-95 CentralSouthAmerica は 地理的地域 の instance では %n
(instance ClarkAirbasePhilippines GeographicArea) CountriesAndRegions.kif 2731-2731 ClarkAirbasePhilippines は 地理的地域 の instance では %n
(instance DangDistrictNepal GeographicArea) CountriesAndRegions.kif 2766-2766 DangDistrictNepal は 地理的地域 の instance では %n
(instance DistrictOfMansehraPakistan GeographicArea) CountriesAndRegions.kif 2787-2787 DistrictOfMansehraPakistan は 地理的地域 の instance では %n
(instance DushanbeAirportTajikistan GeographicArea) CountriesAndRegions.kif 2808-2808 DushanbeAirportTajikistan は 地理的地域 の instance では %n
(instance EasternAfrica GeographicArea) Geography.kif 79-79 EasternAfrica は 地理的地域 の instance では %n
(instance EasternAsia GeographicArea) Geography.kif 101-101 EasternAsia は 地理的地域 の instance では %n
(instance EasternEurope GeographicArea) Geography.kif 85-85 EasternEurope は 地理的地域 の instance では %n
(instance EasternSouthAmerica GeographicArea) Geography.kif 96-96 EasternSouthAmerica は 地理的地域 の instance では %n
(instance England GeographicArea) Geography.kif 6946-6946 England は 地理的地域 の instance では %n
(instance FethiyeAndMarmarisTurkey GeographicArea) CountriesAndRegions.kif 2839-2839 FethiyeAndMarmarisTurkey は 地理的地域 の instance では %n
(instance FloridaUnitedStates GeographicArea) CountriesAndRegions.kif 2842-2842 FloridaUnitedStates は 地理的地域 の instance では %n
(instance GazaStrip GeographicArea) CountriesAndRegions.kif 1389-1389 GazaStrip は 地理的地域 の instance では %n

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 688-688 BorderFn の数値 1 引数は 地理的地域 の instance では %n
(domain BorderFn 2 GeographicArea) Geography.kif 689-689 BorderFn の数値 2 引数は 地理的地域 の instance では %n
(domain DatumFn 1 GeographicArea) Geography.kif 4857-4857 DatumFn の数値 1 引数は 地理的地域 の instance では %n
(domain DemonymFn 1 GeographicArea) Mid-level-ontology.kif 30618-30618 DemonymFn の数値 1 引数は 地理的地域 の instance では %n
(domain DirectionalSubregionFn 2 GeographicArea) Geography.kif 478-478 DirectionalSubregionFn の数値 2 引数は 地理的地域 の instance では %n
(domain ElevationHighPointFn 1 GeographicArea) Geography.kif 1957-1957 ElevationHighPointFn の数値 1 引数は 地理的地域 の instance では %n
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 1933-1933 ElevationLowPointFn の数値 1 引数は 地理的地域 の instance では %n
(domain GeographicCenterFn 1 GeographicArea) Geography.kif 335-335 GeographicCenterFn の数値 1 引数は 地理的地域 の instance では %n
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 6914-6914 GeographicPartTypeFn の数値 2 引数は 地理的地域 の instance では %n
(domain Mean10MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2214-2214 Mean10MinutesWindSpeedFn の数値 1 引数は 地理的地域 の instance では %n
(domain Mean1MinuteWindSpeedFn 1 GeographicArea) Weather.kif 2319-2319 Mean1MinuteWindSpeedFn の数値 1 引数は 地理的地域 の instance では %n
(domain Mean2MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2284-2284 Mean2MinutesWindSpeedFn の数値 1 引数は 地理的地域 の instance では %n
(domain Mean3MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2249-2249 Mean3MinutesWindSpeedFn の数値 1 引数は 地理的地域 の instance では %n
(domain Mean3SecondWindSpeedFn 1 GeographicArea) Weather.kif 1895-1895 Mean3SecondWindSpeedFn の数値 1 引数は 地理的地域 の instance では %n
(domain Mean3SecondWindSpeedListFn 1 GeographicArea) Weather.kif 1989-1989 Mean3SecondWindSpeedListFn の数値 1 引数は 地理的地域 の instance では %n
(domain OrganismPopulationFn 2 GeographicArea) Mid-level-ontology.kif 31724-31724 OrganismPopulationFn の数値 2 引数は 地理的地域 の instance では %n
(domain SeacoastFn 1 GeographicArea) Geography.kif 6111-6111 SeacoastFn の数値 1 引数は 地理的地域 の instance では %n
(domain ShorelineFn 1 GeographicArea) Geography.kif 6168-6168 ShorelineFn の数値 1 引数は 地理的地域 の instance では %n
(domain ThreeSecondGustSpeedFn 1 GeographicArea) Weather.kif 2029-2029 ThreeSecondGustSpeedFn の数値 1 引数は 地理的地域 の instance では %n
(domain agentOperatesInArea 2 GeographicArea) Government.kif 2236-2236 agentOperatesInArea の数値 2 引数は 地理的地域 の instance では %n
(domain airQualityIndex 1 GeographicArea) Weather.kif 3088-3088 airQualityIndex の数値 1 引数は 地理的地域 の instance では %n
(domain arableLandArea 1 GeographicArea) Geography.kif 2072-2072 arableLandArea の数値 1 引数は 地理的地域 の instance では %n
(domain areaOfResponsibility 3 GeographicArea) Mid-level-ontology.kif 22929-22929 areaOfResponsibility の数値 3 引数は 地理的地域 の instance では %n
(domain averagePrecipitationForPeriod 1 GeographicArea) Weather.kif 1216-1216 averagePrecipitationForPeriod の数値 1 引数は 地理的地域 の instance では %n
(domain averageRainfallForPeriod 1 GeographicArea) Geography.kif 1305-1305 averageRainfallForPeriod の数値 1 引数は 地理的地域 の instance では %n

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 1907-1912
(=>
    (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 705-710
(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))		 Geography.kif 1727-1733
(=>
    (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 1964-1975
(=>
    (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 1940-1954
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1865-1870
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1858-1863
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1879-1884
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))		 Geography.kif 1575-1582
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1872-1877
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (lessThan ?FRACTION 0.3))		 Weather.kif 888-894
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (lessThan ?FRACTION 0.3))))		 Weather.kif 878-886
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (greaterThan ?FRACTION 0.7))		 Weather.kif 939-945
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThan ?FRACTION 0.7))))		 Weather.kif 929-937
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (and
        (greaterThanOrEqualTo ?FRACTION 0.3)
        (lessThanOrEqualTo ?FRACTION 0.7)))		 Weather.kif 913-921
(=>
    (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 902-911
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))		 Geography.kif 493-498
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))		 Geography.kif 500-505
(=>
    (and
        (instance ?DUST DustStorm)
        (instance ?PLACE GeographicArea)
        (eventLocated ?DUST ?PLACE))
    (holdsDuring
        (WhenFn ?DUST)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))		 Weather.kif 2596-2604
(=>
    (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 2533-2546
(=>
    (and
        (instance ?H Hurricane)
        (eventLocated ?H ?P)
        (instance ?P GeographicArea)
        (or
            (located ?P ?SEA)
            (meetsSpatially ?P ?SEA)))
    (or
        (equal ?SEA NortheasternPacificOcean)
        (equal ?SEA NorthAtlanticOcean)))		 Weather.kif 749-759
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (eventLocated ?HAZE ?AREA)
        (instance ?AREA GeographicArea)
        (instance ?AIR AtmosphericRegion)
        (orientation ?AIR ?AREA Above)
        (locatedAtTime ?PARTICULATE
            (WhenFn ?HAZE) ?AIR)
        (visibilityInMeteorology ?AREA
            (WhenFn ?HAZE)
            (MeasureFn ?VISIBILITY Kilometer)))
    (and
        (greaterThan ?VISIBILITY 2.0)
        (lessThan ?VISIBILITY 5.0)))		 Weather.kif 2562-2576
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (instance ?PLACE GeographicArea)
        (eventLocated ?HAZE ?PLACE))
    (holdsDuring
        (WhenFn ?HAZE)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))		 Weather.kif 2586-2594
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))		 Merge.kif 14230-14236

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (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 1647-1668
(=>
    (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 250-264
(=>
    (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 280-296
(=>
    (attribute ?A UrbanArea)
    (instance ?A GeographicArea))		 Mid-level-ontology.kif 26610-26612
(=>
    (climateTypeInArea ?AREA ?CLASS)
    (exists (?REGION ?TYPE)
        (and
            (instance ?REGION GeographicArea)
            (instance ?TYPE ?CLASS)
            (attribute ?REGION ?TYPE)
            (part ?REGION ?AREA))))		 Geography.kif 1254-1261
(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))		 Media.kif 2636-2641
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (located ?OBJECT ?PLACE))))		 Geography.kif 1901-1906
(=>
    (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 6302-6312
(=>
    (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 1257-1269
(=>
    (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 736-747
(=>
    (instance ?M GroundAttackMissile)
    (hasPurpose ?M
        (exists (?OBJ ?REGION ?DAMAGE)
            (and
                (instrument ?DAMAGE ?M)
                (patient ?DAMAGE ?OBJ)
                (instance ?DAMAGE Damaging)
                (instance ?REGION GeographicArea)
                (holdsDuring
                    (BeginFn
                        (WhenFn ?DAMAGE))
                    (and
                        (located ?M ?REGION)
                        (located ?OBJ ?REGION)))))))		 MilitaryDevices.kif 999-1013
(=>
    (instance ?M Map)
    (exists (?A)
        (and
            (instance ?A GeographicArea)
            (represents ?M ?A))))		 Mid-level-ontology.kif 13287-13292
(=>
    (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 1728-1738
(=>
    (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 2638-2647
(=>
    (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 2623-2636
(=>
    (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 2936-2951
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?AREA ?STRONG)
            (and
                (instance ?AREA GeographicArea)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?STRONG KnotUnitOfSpeed))
                (greaterThan ?STRONG 30.0)))))		 Weather.kif 2901-2910
(=>
    (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 2889-2899
(=>
    (instance ?STORM TropicalCyclonicSystem)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (geographicSubregion ?PLACE Tropics)
            (origin ?STORM ?PLACE))))		 Weather.kif 615-621
(=>
    (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 770-781
(=>
    (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 677-687
(=>
    (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 656-666
(=>
    (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 712-723
(=>
    (instance ?X DiningGuide)
    (exists (?LOC ?REST)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC)
            (instance ?REST Restaurant)
            (located ?REST ?LOC)
            (refers ?X ?REST))))		 Mid-level-ontology.kif 26415-26423
(=>
    (instance ?X GuideBook)
    (exists (?LOC)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC))))		 Mid-level-ontology.kif 26403-26408

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