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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeographicArea

 Sigma KEE - GeographicArea
GeographicArea(AreaGeografica)

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 14033-14038
(externalImage GeographicArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg") pictureList.kif 8502-8502
(partition GeographicArea WaterArea LandArea) Merge.kif 14032-14032 AreaGeografica è esaustivamente partizionato in SuperficieAcquatica + SuperficieTerrestre
(subclass GeographicArea Region) Merge.kif 14031-14031 AreaGeografica è una sottoclasse di Regione

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


(disjoint AstronomicalBody GeographicArea) Merge.kif 14023-14023 CorpoCeleste è disgiunto da AreaGeografica
(disjoint SpaceRegion GeographicArea) Mid-level-ontology.kif 9068-9068 SpaceRegion è disgiunto da AreaGeografica
(instance AntarcticArea GeographicArea) Geography.kif 3623-3623 AntarcticArea è un' istanza di AreaGeografica
(instance ArcticRegion GeographicArea) Geography.kif 3561-3561 ArcticRegion è un' istanza di AreaGeografica
(instance BetLidJunctionIsrael GeographicArea) CountriesAndRegions.kif 2644-2644 BetLidJunctionIsrael è un' istanza di AreaGeografica
(instance BishkekKyrgyzstan GeographicArea) CountriesAndRegions.kif 3594-3594 BishkekKyrgyzstan è un' istanza di AreaGeografica
(instance BosphorousStraitsTurkey GeographicArea) CountriesAndRegions.kif 2669-2669 BosphorousStraitsTurkey è un' istanza di AreaGeografica
(instance BwindiforestUganda GeographicArea) CountriesAndRegions.kif 2686-2686 BwindiforestUganda è un' istanza di AreaGeografica
(instance CaribbeanRegion GeographicArea) Geography.kif 93-93 CaribbeanRegion è un' istanza di AreaGeografica
(instance CentralAfrica GeographicArea) Geography.kif 78-78 CentralAfrica è un' istanza di AreaGeografica
(instance CentralAsia GeographicArea) Geography.kif 100-100 CentralAsia è un' istanza di AreaGeografica
(instance CentralEurope GeographicArea) Geography.kif 84-84 CentralEurope è un' istanza di AreaGeografica
(instance CentralSouthAmerica GeographicArea) Geography.kif 95-95 CentralSouthAmerica è un' istanza di AreaGeografica
(instance ClarkAirbasePhilippines GeographicArea) CountriesAndRegions.kif 2731-2731 ClarkAirbasePhilippines è un' istanza di AreaGeografica
(instance DangDistrictNepal GeographicArea) CountriesAndRegions.kif 2766-2766 DangDistrictNepal è un' istanza di AreaGeografica
(instance DistrictOfMansehraPakistan GeographicArea) CountriesAndRegions.kif 2787-2787 DistrictOfMansehraPakistan è un' istanza di AreaGeografica
(instance DushanbeAirportTajikistan GeographicArea) CountriesAndRegions.kif 2808-2808 DushanbeAirportTajikistan è un' istanza di AreaGeografica
(instance EasternAfrica GeographicArea) Geography.kif 79-79 EasternAfrica è un' istanza di AreaGeografica
(instance EasternAsia GeographicArea) Geography.kif 101-101 EasternAsia è un' istanza di AreaGeografica
(instance EasternEurope GeographicArea) Geography.kif 85-85 EasternEurope è un' istanza di AreaGeografica
(instance EasternSouthAmerica GeographicArea) Geography.kif 96-96 EasternSouthAmerica è un' istanza di AreaGeografica
(instance England GeographicArea) Geography.kif 6946-6946 England è un' istanza di AreaGeografica
(instance FethiyeAndMarmarisTurkey GeographicArea) CountriesAndRegions.kif 2839-2839 FethiyeAndMarmarisTurkey è un' istanza di AreaGeografica
(instance FloridaUnitedStates GeographicArea) CountriesAndRegions.kif 2842-2842 FloridaUnitedStates è un' istanza di AreaGeografica
(instance GazaStrip GeographicArea) CountriesAndRegions.kif 1389-1389 GazaStrip è un' istanza di AreaGeografica

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 Il numero 1 argomenti di BorderFn è un istanza di AreaGeografica
(domain BorderFn 2 GeographicArea) Geography.kif 689-689 Il numero 2 argomenti di BorderFn è un istanza di AreaGeografica
(domain DatumFn 1 GeographicArea) Geography.kif 4857-4857 Il numero 1 argomenti di DatumFn è un istanza di AreaGeografica
(domain DemonymFn 1 GeographicArea) Mid-level-ontology.kif 30630-30630 Il numero 1 argomenti di DemonymFn è un istanza di AreaGeografica
(domain DirectionalSubregionFn 2 GeographicArea) Geography.kif 478-478 Il numero 2 argomenti di DirectionalSubregionFn è un istanza di AreaGeografica
(domain ElevationHighPointFn 1 GeographicArea) Geography.kif 1957-1957 Il numero 1 argomenti di ElevationHighPointFn è un istanza di AreaGeografica
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 1933-1933 Il numero 1 argomenti di ElevationLowPointFn è un istanza di AreaGeografica
(domain GeographicCenterFn 1 GeographicArea) Geography.kif 335-335 Il numero 1 argomenti di GeographicCenterFn è un istanza di AreaGeografica
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 6914-6914 Il numero 2 argomenti di GeographicPartTypeFn è un istanza di AreaGeografica
(domain Mean10MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2218-2218 Il numero 1 argomenti di Mean10MinutesWindSpeedFn è un istanza di AreaGeografica
(domain Mean1MinuteWindSpeedFn 1 GeographicArea) Weather.kif 2323-2323 Il numero 1 argomenti di Mean1MinuteWindSpeedFn è un istanza di AreaGeografica
(domain Mean2MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2288-2288 Il numero 1 argomenti di Mean2MinutesWindSpeedFn è un istanza di AreaGeografica
(domain Mean3MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2253-2253 Il numero 1 argomenti di Mean3MinutesWindSpeedFn è un istanza di AreaGeografica
(domain Mean3SecondWindSpeedFn 1 GeographicArea) Weather.kif 1899-1899 Il numero 1 argomenti di Mean3SecondWindSpeedFn è un istanza di AreaGeografica
(domain Mean3SecondWindSpeedListFn 1 GeographicArea) Weather.kif 1993-1993 Il numero 1 argomenti di Mean3SecondWindSpeedListFn è un istanza di AreaGeografica
(domain OrganismPopulationFn 2 GeographicArea) Mid-level-ontology.kif 31728-31728 Il numero 2 argomenti di OrganismPopulationFn è un istanza di AreaGeografica
(domain SeacoastFn 1 GeographicArea) Geography.kif 6111-6111 Il numero 1 argomenti di SeacoastFn è un istanza di AreaGeografica
(domain ShorelineFn 1 GeographicArea) Geography.kif 6168-6168 Il numero 1 argomenti di ShorelineFn è un istanza di AreaGeografica
(domain ThreeSecondGustSpeedFn 1 GeographicArea) Weather.kif 2033-2033 Il numero 1 argomenti di ThreeSecondGustSpeedFn è un istanza di AreaGeografica
(domain agentOperatesInArea 2 GeographicArea) Government.kif 2236-2236 Il numero 2 argomenti di agentOperatesInArea è un istanza di AreaGeografica
(domain airQualityIndex 1 GeographicArea) Weather.kif 3092-3092 Il numero 1 argomenti di airQualityIndex è un istanza di AreaGeografica
(domain arableLandArea 1 GeographicArea) Geography.kif 2072-2072 Il numero 1 argomenti di arableLandArea è un istanza di AreaGeografica
(domain areaOfResponsibility 3 GeographicArea) Mid-level-ontology.kif 22930-22930 Il numero 3 argomenti di areaOfResponsibility è un istanza di AreaGeografica
(domain averagePrecipitationForPeriod 1 GeographicArea) Weather.kif 1220-1220 Il numero 1 argomenti di averagePrecipitationForPeriod è un istanza di AreaGeografica
(domain averageRainfallForPeriod 1 GeographicArea) Geography.kif 1305-1305 Il numero 1 argomenti di averageRainfallForPeriod è un istanza di AreaGeografica

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 892-898
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER ClearWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (lessThan ?FRACTION 0.3))))		 Weather.kif 882-890
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (greaterThan ?FRACTION 0.7))		 Weather.kif 943-949
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThan ?FRACTION 0.7))))		 Weather.kif 933-941
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (and
        (greaterThanOrEqualTo ?FRACTION 0.3)
        (lessThanOrEqualTo ?FRACTION 0.7)))		 Weather.kif 917-925
(=>
    (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 906-915
(=>
    (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 2600-2608
(=>
    (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 2537-2550
(=>
    (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 753-763
(=>
    (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 2566-2580
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (instance ?PLACE GeographicArea)
        (eventLocated ?HAZE ?PLACE))
    (holdsDuring
        (WhenFn ?HAZE)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))		 Weather.kif 2590-2598
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))		 Merge.kif 14208-14214

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 1651-1672
(=>
    (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 26622-26624
(=>
    (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 1261-1273
(=>
    (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 740-751
(=>
    (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 13288-13293
(=>
    (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 1732-1742
(=>
    (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 2642-2651
(=>
    (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 2627-2640
(=>
    (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 2940-2955
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?AREA ?STRONG)
            (and
                (instance ?AREA GeographicArea)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?STRONG KnotUnitOfSpeed))
                (greaterThan ?STRONG 30.0)))))		 Weather.kif 2905-2914
(=>
    (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 2893-2903
(=>
    (instance ?STORM TropicalCyclonicSystem)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (geographicSubregion ?PLACE Tropics)
            (origin ?STORM ?PLACE))))		 Weather.kif 619-625
(=>
    (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 774-785
(=>
    (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 681-691
(=>
    (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 660-670
(=>
    (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 716-727
(=>
    (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 26427-26435
(=>
    (instance ?X GuideBook)
    (exists (?LOC)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC))))		 Mid-level-ontology.kif 26415-26420

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