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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeographicArea

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

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


(documentation GeographicArea ChineseLanguage "这是一个地理位置,它一般拥有明确的界限。注:这个和它 直接的超类别 Region 的区别在于,GeographicArea 是地球的三维 Region。因此除了地球以外,所有的 天文物体与一维和二维 Region 都不被列入 GeographicArea。") chinese_format.kif 1435-1437
(documentation GeographicArea EnglishLanguage "A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass Region in that a GeographicArea is a three-dimensional Region of the earth. Accordingly, all astronomical objects other than earth and all one-dimensional and two-dimensional Regions are not classed under GeographicArea.") Merge.kif 13444-13449
(externalImage GeographicArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg") pictureList.kif 8503-8503
(partition GeographicArea WaterArea LandArea) Merge.kif 13443-13443 Geographic area is exhaustively partitioned into water area and land area
(subclass GeographicArea Region) Merge.kif 13442-13442 Geographic area is a subclass of region

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


(disjoint AstronomicalBody GeographicArea) Merge.kif 13434-13434 Astronomical body is disjoint from geographic area
(disjoint SpaceRegion GeographicArea) Mid-level-ontology.kif 8645-8645 Space region is disjoint from geographic area
(instance AntarcticArea GeographicArea) Geography.kif 3528-3528 Antarctic area is an instance of geographic area
(instance ArcticRegion GeographicArea) Geography.kif 3466-3466 Arctic region is an instance of geographic area
(instance BetLidJunctionIsrael GeographicArea) CountriesAndRegions.kif 2644-2644 Bet lid junction israel is an instance of geographic area
(instance BishkekKyrgyzstan GeographicArea) CountriesAndRegions.kif 3594-3594 The Kyrgyz capital Bishkek is an instance of geographic area
(instance BosphorousStraitsTurkey GeographicArea) CountriesAndRegions.kif 2669-2669 Bosphorous straits turkey is an instance of geographic area
(instance BwindiforestUganda GeographicArea) CountriesAndRegions.kif 2686-2686 Bwindiforest uganda is an instance of geographic area
(instance CaribbeanRegion GeographicArea) Geography.kif 93-93 Caribbean region is an instance of geographic area
(instance CentralAfrica GeographicArea) Geography.kif 78-78 Central africa is an instance of geographic area
(instance CentralAsia GeographicArea) Geography.kif 100-100 Central asia is an instance of geographic area
(instance CentralEurope GeographicArea) Geography.kif 84-84 Central europe is an instance of geographic area
(instance CentralSouthAmerica GeographicArea) Geography.kif 95-95 Central south america is an instance of geographic area
(instance ClarkAirbasePhilippines GeographicArea) CountriesAndRegions.kif 2731-2731 Clark airbase philippines is an instance of geographic area
(instance DangDistrictNepal GeographicArea) CountriesAndRegions.kif 2766-2766 Dang district nepal is an instance of geographic area
(instance DistrictOfMansehraPakistan GeographicArea) CountriesAndRegions.kif 2787-2787 District of mansehra pakistan is an instance of geographic area
(instance DushanbeAirportTajikistan GeographicArea) CountriesAndRegions.kif 2808-2808 Dushanbe airport tajikistan is an instance of geographic area
(instance EasternAfrica GeographicArea) Geography.kif 79-79 Eastern africa is an instance of geographic area
(instance EasternAsia GeographicArea) Geography.kif 101-101 Eastern asia is an instance of geographic area
(instance EasternEurope GeographicArea) Geography.kif 85-85 Eastern europe is an instance of geographic area
(instance EasternSouthAmerica GeographicArea) Geography.kif 96-96 Eastern south america is an instance of geographic area
(instance England GeographicArea) Geography.kif 6543-6543 England is an instance of geographic area
(instance FethiyeAndMarmarisTurkey GeographicArea) CountriesAndRegions.kif 2839-2839 Fethiye and marmaris turkey is an instance of geographic area
(instance FloridaUnitedStates GeographicArea) CountriesAndRegions.kif 2842-2842 Florida is an instance of geographic area
(instance GazaStrip GeographicArea) CountriesAndRegions.kif 1389-1389 Gaza strip is an instance of geographic area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain BorderFn 1 GeographicArea) Geography.kif 687-687 The number 1 argument of border is an instance of geographic area
(domain BorderFn 2 GeographicArea) Geography.kif 688-688 The number 2 argument of border is an instance of geographic area
(domain DatumFn 1 GeographicArea) Geography.kif 4668-4668 The number 1 argument of datum is an instance of geographic area
(domain DemonymFn 1 GeographicArea) Mid-level-ontology.kif 29980-29980 The number 1 argument of DemonymFn is an instance of geographic area
(domain DirectionalSubregionFn 2 GeographicArea) Geography.kif 478-478 The number 2 argument of directional subregion is an instance of geographic area
(domain ElevationHighPointFn 1 GeographicArea) Geography.kif 1952-1952 The number 1 argument of elevation high point is an instance of geographic area
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 1928-1928 The number 1 argument of elevation low point is an instance of geographic area
(domain GeographicCenterFn 1 GeographicArea) Geography.kif 335-335 The number 1 argument of geographic center is an instance of geographic area
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 6511-6511 The number 2 argument of GeographicPartTypeFn is an instance of geographic area
(domain Mean10MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2213-2213 The number 1 argument of ten minute mean surface wind speed is an instance of geographic area
(domain Mean1MinuteWindSpeedFn 1 GeographicArea) Weather.kif 2318-2318 The number 1 argument of one minute mean surface wind speed is an instance of geographic area
(domain Mean2MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2283-2283 The number 1 argument of two minute mean surface wind speed is an instance of geographic area
(domain Mean3MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2248-2248 The number 1 argument of three minute mean surface wind speed is an instance of geographic area
(domain Mean3SecondWindSpeedFn 1 GeographicArea) Weather.kif 1900-1900 The number 1 argument of three second mean surface wind speed is an instance of geographic area
(domain Mean3SecondWindSpeedListFn 1 GeographicArea) Weather.kif 1988-1988 The number 1 argument of mean three second wind speed list is an instance of geographic area
(domain SeacoastFn 1 GeographicArea) Geography.kif 5918-5918 The number 1 argument of seacoast is an instance of geographic area
(domain ShorelineFn 1 GeographicArea) Geography.kif 5975-5975 The number 1 argument of shoreline is an instance of geographic area
(domain ThreeSecondGustSpeedFn 1 GeographicArea) Weather.kif 2028-2028 The number 1 argument of three second gust speed is an instance of geographic area
(domain agentOperatesInArea 2 GeographicArea) Government.kif 2222-2222 The number 2 argument of agent operates in area is an instance of geographic area
(domain arableLandArea 1 GeographicArea) Geography.kif 2067-2067 The number 1 argument of arable land area is an instance of geographic area
(domain areaOfResponsibility 3 GeographicArea) Mid-level-ontology.kif 22325-22325 The number 3 argument of area of responsibility is an instance of geographic area
(domain averagePrecipitationForPeriod 1 GeographicArea) Weather.kif 1220-1220 The number 1 argument of average precipitation for period is an instance of geographic area
(domain averageRainfallForPeriod 1 GeographicArea) Geography.kif 1302-1302 The number 1 argument of average rainfall for period is an instance of geographic area
(domain averageTemperatureForPeriod 1 GeographicArea) Weather.kif 985-985 The number 1 argument of average temperature for period is an instance of geographic area
(domain beliefGroupPercentInRegion 3 GeographicArea) People.kif 1534-1534 The number 3 argument of beliefGroupPercentInRegion is an instance of geographic area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))
Geography.kif 1902-1907
(=>
    (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 704-709
(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))
Geography.kif 1722-1728
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationHighPointFn ?AREA) ?AREA)
        (elevation
            (ElevationHighPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (greaterThan ?ELEV2 ?ELEV1)))))
Geography.kif 1959-1970
(=>
    (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 1935-1949
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1860-1865
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1853-1858
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1874-1879
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))
Geography.kif 1570-1577
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1867-1872
(=>
    (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 2595-2603
(=>
    (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))
Weather.kif 2532-2545
(=>
    (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)
        (lessThan ?VISIBILITY 5)))
Weather.kif 2561-2575
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (instance ?PLACE GeographicArea)
        (eventLocated ?HAZE ?PLACE))
    (holdsDuring
        (WhenFn ?HAZE)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 2585-2593
(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))
Merge.kif 13619-13625

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 1652-1673
(=>
    (climateTypeInArea ?AREA ?TYPE)
    (exists (?REGION)
        (and
            (instance ?REGION GeographicArea)
            (attribute ?REGION ?TYPE)
            (part ?REGION ?AREA))))
Geography.kif 1253-1259
(=>
    (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
    (and
        (instance ?X GeographicArea)
        (instance ?TOKEN AlphabeticString)
        (stringLength 2 ?TOKEN)))
Media.kif 2618-2623
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (located ?OBJECT ?PLACE))))
Geography.kif 1896-1901
(=>
    (instance ?CAC Cactus)
    (modalAttribute
        (and
            (instance ?AREA GeographicArea)
            (located ?CAC ?AREA)
            (exists (?D)
                (and
                    (instance ?D Drought)
                    (eventLocated ?D ?AREA)))) Likely))
Geography.kif 6104-6113
(=>
    (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))))
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 12722-12727
(=>
    (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 Meter))))))
Weather.kif 1733-1743
(=>
    (instance ?PROCESS Blizzard)
    (exists (?AREA ?DIST)
        (and
            (instance ?AREA GeographicArea)
            (eventLocated ?PROCESS ?AREA)
            (visibilityInMeteorology ?AREA
                (WhenFn ?PROCESS)
                (MeasureFn ?DIST Meter))
            (lessThan ?DIST 400))))
Weather.kif 2637-2646
(=>
    (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)
                (duration
                    (WhenFn ?PROCESS)
                    (MeasureFn ?DURATION HourDuration))
                (greaterThan ?DURATION 3)))))
Weather.kif 2622-2635
(=>
    (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)))))
Weather.kif 2935-2950
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?AREA ?STRONG)
            (and
                (instance ?AREA GeographicArea)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?STRONG KnotUnitOfSpeed))
                (greaterThan ?STRONG 30)))))
Weather.kif 2900-2909
(=>
    (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 2888-2898
(=>
    (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))))
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))))
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))))
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)
            (lessThanOrEqualTo ?WIND 74))))
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 25762-25770
(=>
    (instance ?X GuideBook)
    (exists (?LOC)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC))))
Mid-level-ontology.kif 25750-25755
(=>
    (instance ?X Kidnapping)
    (exists (?A ?LOC1 ?LOC2)
        (and
            (instance ?A SentientAgent)
            (instance ?LOC1 GeographicArea)
            (instance ?LOC2 GeographicArea)
            (not
                (equal ?LOC1 ?LOC2))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?X))
                (located ?A ?LOC1))
            (holdsDuring
                (WhenFn ?X)
                (located ?A ?LOC2)))))
Mid-level-ontology.kif 21389-21404
(=>
    (instance ?X LandVehicle)
    (hasPurpose ?X
        (exists (?EV ?SURF)
            (and
                (surface ?SURF GeographicArea)
                (instance ?EV Transportation)
                (holdsDuring
                    (WhenFn ?EV)
                    (meetsSpatially ?X ?SURF))))))
Mid-level-ontology.kif 3405-3414
(=>
    (instance ?X SubwaySystem)
    (exists (?SURF)
        (and
            (surface ?SURF GeographicArea)
            (orientation ?X ?SURF Below))))
Transportation.kif 328-333

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