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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


s__documentation(s__GeographicArea,s__ChineseLanguage,'"这是一个地理位置，它一般拥有明确的界限。注：这个和它 直接的超类别 Region 的区别在于，GeographicArea 是地球的三维 Region。因此除了地球以外，所有的 天文物体与一维和二维 Region 都不被列入 GeographicArea。"')

 chinese_format.kif 1435-1437
s__documentation(s__GeographicArea,s__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 13032-13037
s__externalImage(s__GeographicArea,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg"')

 pictureList.kif 8505-8505
s__partition__3(s__GeographicArea,s__WaterArea,s__LandArea)

 Merge.kif 13031-13031 Geographic area is exhaustively partitioned into water area and land area
s__instance(s__GeographicArea,s__SetOrClass)

s__subclass(s__GeographicArea,s__Region)

s__instance(s__Region,s__SetOrClass)

 Merge.kif 13030-13030 Geographic area is a subclass of region

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


s__disjoint(s__AstronomicalBody,s__GeographicArea)

 Merge.kif 13022-13022 Astronomical body is disjoint from geographic area
s__disjoint(s__SpaceRegion,s__GeographicArea)

 Mid-level-ontology.kif 8771-8771 Space region is disjoint from geographic area
s__instance(s__AntarcticArea,s__GeographicArea)

s__instance(s__GeographicArea,s__SetOrClass)

 Geography.kif 3461-3461 Antarctic area is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__ArcticRegion,s__GeographicArea)

 Geography.kif 3420-3420 Arctic region is an instance of geographic area
s__instance(s__BetLidJunctionIsrael,s__GeographicArea)

s__instance(s__GeographicArea,s__SetOrClass)

 CountriesAndRegions.kif 2645-2645 Bet lid junction israel is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__BishkekKyrgyzstan,s__GeographicArea)

 CountriesAndRegions.kif 3595-3595 The Kyrgyz capital Bishkek is an instance of geographic area
s__instance(s__BosphorousStraitsTurkey,s__GeographicArea)

s__instance(s__GeographicArea,s__SetOrClass)

 CountriesAndRegions.kif 2670-2670 Bosphorous straits turkey is an instance of geographic area
s__instance(s__BwindiforestUganda,s__GeographicArea)

s__instance(s__GeographicArea,s__SetOrClass)

 CountriesAndRegions.kif 2687-2687 Bwindiforest uganda is an instance of geographic area
s__instance(s__CaribbeanRegion,s__GeographicArea)

s__instance(s__GeographicArea,s__SetOrClass)

 Geography.kif 93-93 Caribbean region is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__CentralAfrica,s__GeographicArea)

 Geography.kif 78-78 Central africa is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__CentralAsia,s__GeographicArea)

 Geography.kif 100-100 Central asia is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__CentralEurope,s__GeographicArea)

 Geography.kif 84-84 Central europe is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__CentralSouthAmerica,s__GeographicArea)

 Geography.kif 95-95 Central south america is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__ClarkAirbasePhilippines,s__GeographicArea)

 CountriesAndRegions.kif 2732-2732 Clark airbase philippines is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__DangDistrictNepal,s__GeographicArea)

 CountriesAndRegions.kif 2767-2767 Dang district nepal is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__DistrictOfMansehraPakistan,s__GeographicArea)

 CountriesAndRegions.kif 2788-2788 District of mansehra pakistan is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__DushanbeAirportTajikistan,s__GeographicArea)

 CountriesAndRegions.kif 2809-2809 Dushanbe airport tajikistan is an instance of geographic area
s__instance(s__EasternAfrica,s__GeographicArea)

s__instance(s__GeographicArea,s__SetOrClass)

 Geography.kif 79-79 Eastern africa is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__EasternAsia,s__GeographicArea)

 Geography.kif 101-101 Eastern asia is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__EasternEurope,s__GeographicArea)

 Geography.kif 85-85 Eastern europe is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__EasternSouthAmerica,s__GeographicArea)

 Geography.kif 96-96 Eastern south america is an instance of geographic area
s__instance(s__England,s__GeographicArea)

s__instance(s__GeographicArea,s__SetOrClass)

 Geography.kif 6377-6377 England is an instance of geographic area
s__instance(s__FethiyeAndMarmarisTurkey,s__GeographicArea)

s__instance(s__GeographicArea,s__SetOrClass)

 CountriesAndRegions.kif 2840-2840 Fethiye and marmaris turkey is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__FloridaUnitedStates,s__GeographicArea)

 CountriesAndRegions.kif 2843-2843 Florida is an instance of geographic area
s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__GazaStrip,s__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
-------------------------


s__domain(s__BorderFn__m,n__1,s__GeographicArea)

 Geography.kif 687-687 The number 1 argument of border is an instance of geographic area
s__domain(s__BorderFn__m,n__2,s__GeographicArea)

 Geography.kif 688-688 The number 2 argument of border is an instance of geographic area
s__domain(s__DatumFn__m,n__1,s__GeographicArea)

 Geography.kif 4558-4558 The number 1 argument of datum is an instance of geographic area
s__domain(s__DemonymFn__m,n__1,s__GeographicArea)

 Mid-level-ontology.kif 28807-28807 The number 1 argument of DemonymFn is an instance of geographic area
s__domain(s__DirectionalSubregionFn__m,n__2,s__GeographicArea)

 Geography.kif 478-478 The number 2 argument of directional subregion is an instance of geographic area
s__domain(s__ElevationHighPointFn__m,n__1,s__GeographicArea)

 Geography.kif 1907-1907 The number 1 argument of elevation high point is an instance of geographic area
s__domain(s__ElevationLowPointFn__m,n__1,s__GeographicArea)

 Geography.kif 1886-1886 The number 1 argument of elevation low point is an instance of geographic area
s__domain(s__GeographicCenterFn__m,n__1,s__GeographicArea)

 Geography.kif 335-335 The number 1 argument of geographic center is an instance of geographic area
s__domain(s__GeographicPartTypeFn__m,n__2,s__GeographicArea)

 Geography.kif 6345-6345 The number 2 argument of GeographicPartTypeFn is an instance of geographic area
s__domain(s__SeacoastFn__m,n__1,s__GeographicArea)

 Geography.kif 5800-5800 The number 1 argument of seacoast is an instance of geographic area
s__domain(s__ShorelineFn__m,n__1,s__GeographicArea)

 Geography.kif 5857-5857 The number 1 argument of shoreline is an instance of geographic area
s__domain(s__agentOperatesInArea__m,n__2,s__GeographicArea)

 Government.kif 2190-2190 The number 2 argument of agent operates in area is an instance of geographic area
s__domain(s__arableLandArea__m,n__1,s__GeographicArea)

 Geography.kif 2022-2022 The number 1 argument of arable land area is an instance of geographic area
s__domain(s__areaOfResponsibility__m,n__3,s__GeographicArea)

 Mid-level-ontology.kif 20857-20857 The number 3 argument of area of responsibility is an instance of geographic area
s__domain(s__averagePrecipitationForPeriod__m,n__1,s__GeographicArea)

 Weather.kif 840-840 The number 1 argument of average precipitation for period is an instance of geographic area
s__domain(s__averageRainfallForPeriod__m,n__1,s__GeographicArea)

 Geography.kif 1289-1289 The number 1 argument of average rainfall for period is an instance of geographic area
s__domain(s__averageTemperatureForPeriod__m,n__1,s__GeographicArea)

 Weather.kif 596-596 The number 1 argument of average temperature for period is an instance of geographic area
s__domain(s__beliefGroupPercentInRegion__m,n__3,s__GeographicArea)

 People.kif 1529-1529 The number 3 argument of beliefGroupPercentInRegion is an instance of geographic area
s__domain(s__bioindicatorForHabitat__m,n__1,s__GeographicArea)

 Geography.kif 2552-2552 The number 1 argument of bioindicator for habitat is an instance of geographic area
s__domain(s__claimedTerritory__m,n__1,s__GeographicArea)

 Geography.kif 963-963 The number 1 argument of claimed territory is an instance of geographic area
s__domain(s__climateTypeInArea__m,n__1,s__GeographicArea)

 Geography.kif 1239-1239 The number 1 argument of climate type in area is an instance of geographic area
s__domain(s__coldSeasonInArea__m,n__1,s__GeographicArea)

 Geography.kif 1610-1610 The number 1 argument of cold season in area is an instance of geographic area
s__domain(s__comparativeArea__m,n__1,s__GeographicArea)

 Geography.kif 645-645 The number 1 argument of comparative area is an instance of geographic area
s__domain(s__comparativeArea__m,n__4,s__GeographicArea)

 Geography.kif 649-649 The number 4 argument of comparative area is an instance of geographic area
s__domain(s__coolSeasonInArea__m,n__1,s__GeographicArea)

 Geography.kif 1590-1590 The number 1 argument of cool season in area is an instance of geographic area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__OBJECT,V__HEIGHT,V__PLACE] :
   (((s__instance(V__OBJECT,s__Object) &
         s__instance(V__HEIGHT,s__LengthMeasure))
       =>
       (((s__elevation(V__OBJECT,V__HEIGHT)
           &
           s__located(V__OBJECT,V__PLACE)
         &
         s__instance(V__PLACE,s__GeographicArea))
       =>
       (s__superficialPart(V__PLACE,s__PlanetEarth)))))
)
)

 Geography.kif 1860-1865
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
( ! [V__COUNTRY1,V__COUNTRY2] :
   (((s__instance(s__BorderFn(V__COUNTRY1,V__COUNTRY2)
      ,s__GeographicArea) &
       s__instance(V__COUNTRY1,s__Nation) &
       s__instance(V__COUNTRY2,s__Nation))
     =>
     (s__instance(s__BorderFn(V__COUNTRY1,V__COUNTRY2)
    ,s__InternationalBorder)))
)
)

 Geography.kif 704-709
( ! [V__REGION,V__AREA,V__ATTRIBUTE] :
   ((s__instance(V__REGION,s__Object) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__attribute(V__REGION,V__ATTRIBUTE)
           &
           s__instance(V__ATTRIBUTE,s__TerrainAttribute) &
           s__partlyLocated(V__REGION,V__AREA))
       =>
       (s__terrainInArea(V__AREA,V__ATTRIBUTE)))))
)
)

 Geography.kif 1680-1686
( ! [V__AREA,V__ELEV1] :
   ((s__instance(V__ELEV1,s__LengthMeasure) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__geographicSubregion(s__ElevationHighPointFn(V__AREA)
          ,V__AREA)
         &
         s__elevation(s__ElevationHighPointFn(V__AREA)
      ,V__ELEV1))
   =>
   (~(( ? [V__OTHER, V__ELEV2] :
         ((s__instance(V__OTHER,s__GeographicArea) &
             s__instance(V__ELEV2,s__LengthMeasure) &
             (s__geographicSubregion(V__OTHER,V__AREA)
             &
             ~((V__OTHER = s__ElevationHighPointFn(V__AREA)))
           &
           s__elevation(V__OTHER,V__ELEV2)
         &
         s__greaterThan(V__ELEV2,V__ELEV1))))))))))
)
)

 Geography.kif 1914-1925
( ! [V__AREA,V__ELEV1] :
   ((s__instance(V__ELEV1,s__LengthMeasure) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__geographicSubregion(s__ElevationLowPointFn(V__AREA)
          ,V__AREA)
         &
         s__elevation(s__ElevationLowPointFn(V__AREA)
      ,V__ELEV1))
   =>
   (~(( ? [V__OTHER, V__ELEV2] :
         ((s__instance(V__OTHER,s__GeographicArea) &
             s__instance(V__ELEV2,s__LengthMeasure) &
             (s__geographicSubregion(V__OTHER,V__AREA)
             &
             ~((V__OTHER = s__ElevationLowPointFn(V__AREA)))
           &
           s__elevation(V__OTHER,V__ELEV2)
         &
         s__lessThan(V__ELEV2,V__ELEV1))))))))))
)
)

 Geography.kif 1893-1904
( ! [V__BLOW,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__BLOW,s__VolcanicEruption) &
         s__eventLocated(V__BLOW,V__AREA))
     =>
     (~(s__attribute(V__AREA,s__GeologicallyStable))))
   )
)

 Geography.kif 1818-1823
( ! [V__CONE,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__CONE,s__Volcano) &
         s__attribute(V__CONE,s__VolcanicallyActive))
       =>
       (~(s__attribute(V__AREA,s__GeologicallyStable))))
     )
   )

 Geography.kif 1811-1816
( ! [V__FAULT,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__FAULT,s__GeologicalFault) &
         s__located(V__FAULT,V__AREA))
     =>
     (~(s__attribute(V__AREA,s__GeologicallyStable))))
   )
)

 Geography.kif 1832-1837
( ! [V__SHAKING,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__SHAKING,s__EarthTremor) &
         s__eventLocated(V__SHAKING,V__AREA))
     =>
     (~(s__attribute(V__AREA,s__GeologicallyStable))))
   )
)

 Geography.kif 1825-1830
( ! [V__WEATHER,V__FRACTION,V__AREA] :
   ((s__instance(V__FRACTION,s__NonnegativeRealNumber) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__instance(V__WEATHER,s__ClearWeather) &
             s__eventLocated(V__WEATHER,V__AREA)
           &
           s__cloudCoverFraction(V__AREA,V__FRACTION))
       =>
       (s__lessThan(V__FRACTION,n__0_3)))))
)
)

 Weather.kif 503-509
( ! [V__WEATHER,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__WEATHER,s__ClearWeather) &
         s__eventLocated(V__WEATHER,V__AREA))
     =>
     (( ? [V__FRACTION] :
         ((s__instance(V__FRACTION,s__NonnegativeRealNumber) &
             (s__cloudCoverFraction(V__AREA,V__FRACTION)
             &
             s__lessThan(V__FRACTION,n__0_3)))))))
)
)

 Weather.kif 493-501
( ! [V__WEATHER,V__FRACTION,V__AREA] :
   ((s__instance(V__FRACTION,s__NonnegativeRealNumber) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__instance(V__WEATHER,s__OvercastWeather) &
             s__eventLocated(V__WEATHER,V__AREA)
           &
           s__cloudCoverFraction(V__AREA,V__FRACTION))
       =>
       (s__greaterThan(V__FRACTION,n__0_7)))))
)
)

 Weather.kif 554-560
( ! [V__WEATHER,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__WEATHER,s__OvercastWeather) &
         s__eventLocated(V__WEATHER,V__AREA))
     =>
     (( ? [V__FRACTION] :
         ((s__instance(V__FRACTION,s__NonnegativeRealNumber) &
             (s__cloudCoverFraction(V__AREA,V__FRACTION)
             &
             s__greaterThan(V__FRACTION,n__0_7)))))))
)
)

 Weather.kif 544-552
( ! [V__WEATHER,V__FRACTION,V__AREA] :
   ((s__instance(V__FRACTION,s__NonnegativeRealNumber) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__instance(V__WEATHER,s__PartlyCloudyWeather) &
             s__eventLocated(V__WEATHER,V__AREA)
           &
           s__cloudCoverFraction(V__AREA,V__FRACTION))
       =>
       ((s__greaterThanOrEqualTo(V__FRACTION,n__0_3)
         &
         s__lessThanOrEqualTo(V__FRACTION,n__0_7))))))
)
)

 Weather.kif 528-536
( ! [V__WEATHER,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__WEATHER,s__PartlyCloudyWeather) &
         s__eventLocated(V__WEATHER,V__AREA))
     =>
     (( ? [V__FRACTION] :
         ((s__instance(V__FRACTION,s__NonnegativeRealNumber) &
             (s__cloudCoverFraction(V__AREA,V__FRACTION)
             &
             s__greaterThanOrEqualTo(V__FRACTION,n__0_3)
           &
           s__lessThanOrEqualTo(V__FRACTION,n__0_7)))))))
)
)

 Weather.kif 517-526
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__TimeDuration) &
         s__instance(V__MO,s__SetOrClass) &
         s__instance(V__TEMP,s__TemperatureMeasure))
       =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)
           &
           s__greaterThan(s__MeasureFn(n__10,s__CelsiusDegree),V__TEMP))
       =>
       (s__instance(V__AREA,s__PolarClimateZone)))))
)
)

 Geography.kif 1530-1536
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__TimeDuration) &
         s__instance(V__MO,s__SetOrClass) &
         s__instance(V__TEMP,s__TemperatureMeasure))
       =>
       (((s__instance(V__AREA,s__TropicalClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__instance(V__AREA,s__GeographicArea) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
         =>
         (s__greaterThan(V__TEMP,s__MeasureFn(n__18,s__CelsiusDegree))))))
)
)

 Geography.kif 1276-1282
( ! [V__DIRECTION,V__AREA] :
   (((s__instance(V__DIRECTION,s__DirectionalAttribute) &
         s__instance(V__AREA,s__GeographicArea) &
         s__instance(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
      ,s__GeographicArea))
     =>
     (s__geographicSubregion(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
    ,V__AREA)))
)
)

 Geography.kif 493-498
( ! [V__DIRECTION,V__AREA] :
   (((s__instance(V__DIRECTION,s__DirectionalAttribute) &
         s__instance(V__AREA,s__GeographicArea) &
         s__instance(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
      ,s__GeographicArea))
     =>
     (s__orientation(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
    ,s__GeographicCenterFn(V__AREA)
  ,V__DIRECTION)))
)
)

 Geography.kif 500-505
( ! [V__ISLE,V__AREA] :
   (((s__instance(V__ISLE,s__Island) &
         s__instance(V__AREA,s__GeographicArea) &
         s__meetsSpatially(V__ISLE,V__AREA))
     =>
     (~(s__instance(V__AREA,s__LandArea))))
   )
)

 Merge.kif 13207-13213
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__GeographicArea) &
         s__instance(V__OBJ2,s__GeographicArea))
       =>
       ((s__BorderFn(V__OBJ1,V__OBJ2)
         = s__BorderFn(V__OBJ2,V__OBJ1))))
)
)

 Geography.kif 698-702
( ! [V__REGION] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(s__GeographicCenterFn(V__REGION)
      ,s__GeographicArea))
     =>
     (s__geographicSubregion(s__GeographicCenterFn(V__REGION)
    ,V__REGION)))
)
)

 Geography.kif 342-346
No TPTP formula. May not be expressible in strict first order. Geography.kif 3469-3478
No TPTP formula. May not be expressible in strict first order. Geography.kif 3429-3438

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__A,V__R,V__T,V__TRAN] :
   (((s__instance(V__T,s__Tornado) &
         s__instance(V__R,s__Rotating) &
         s__instance(V__A,s__Air) &
         s__instance(V__TRAN,s__Translocation) &
         s__subProcess(V__R,V__T)
       &
       s__subProcess(V__TRAN,V__R)
     &
     s__patient(V__TRAN,V__A)
   &
   s__direction(V__TRAN,s__Horizontal))
=>
(( ? [V__G, V__FUNNEL, V__TOP, V__BOTTOM, V__C, V__BASE] :
     ((s__instance(V__FUNNEL,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__BASE,s__SelfConnectedObject) &
         (s__instance(V__G,s__GeographicArea) &
           s__eventLocated(V__T,V__G)
         &
         s__part(V__FUNNEL,V__A)
       &
       s__attribute(V__FUNNEL,s__ConeSegment) &
       s__top(V__TOP,V__FUNNEL)
     &
     s__bottom(V__BOTTOM,V__FUNNEL)
   &
   s__instance(V__C,s__Cloud) &
   s__bottom(V__BASE,V__C)
&
s__meetsSpatially(V__TOP,V__BASE)
&
s__meetsSpatially(V__BOTTOM,V__G)))))))
)
)

 Weather.kif 1254-1275
( ! [V__TYPE,V__AREA] :
   (((s__subclass(V__TYPE,s__ClimateZone) &
         s__instance(V__TYPE,s__SetOrClass) &
         s__instance(V__AREA,s__GeographicArea))
       =>
       ((s__climateTypeInArea(V__AREA,V__TYPE)
         =>
         (( ? [V__REGION] :
             ((s__instance(V__REGION,s__GeographicArea) &
                 s__instance(V__REGION,V__TYPE)
               &
               s__part(V__REGION,V__AREA))))))))
)
)

 Geography.kif 1246-1252
( ! [V__X,V__TOKEN] :
   ((s__instance(V__TOKEN,s__SymbolicString) =>
       ((s__codeMapping(s__ISO_3166_1_alpha_2,V__TOKEN,V__X)
         =>
         ((s__instance(V__X,s__GeographicArea) &
             s__instance(V__TOKEN,s__AlphabeticString) &
             s__stringLength(n__2,V__TOKEN))))))
)
)

 Media.kif 2606-2611
( ! [V__OBJECT,V__HEIGHT] :
   (((s__instance(V__OBJECT,s__Object) &
         s__instance(V__HEIGHT,s__LengthMeasure))
       =>
       ((s__elevation(V__OBJECT,V__HEIGHT)
         =>
         (( ? [V__PLACE] :
             ((s__instance(V__PLACE,s__GeographicArea) &
                 s__located(V__OBJECT,V__PLACE))))))))
)
)

 Geography.kif 1854-1859
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 999-1013
( ! [V__M] :
   ((s__instance(V__M,s__Map) =>
       (( ? [V__A] :
           ((s__instance(V__A,s__GeographicArea) &
               s__represents(V__M,V__A))))))
   )
)

 Mid-level-ontology.kif 10923-10928
( ! [V__PROCESS] :
   ((s__instance(V__PROCESS,s__Blizzard) =>
       (( ? [V__AREA, V__DIST] :
           ((s__instance(V__DIST,s__RealNumber) &
               (s__instance(V__AREA,s__GeographicArea) &
                 s__eventLocated(V__PROCESS,V__AREA)
               &
               s__visibilityInMeteorology(V__AREA,s__WhenFn(V__PROCESS)
            ,s__MeasureFn(V__DIST,s__Meter))
           &
           s__lessThan(V__DIST,n__400)))))))
)
)

 Weather.kif 1509-1518
No TPTP formula. May not be expressible in strict first order. Weather.kif 1494-1507
No TPTP formula. May not be expressible in strict first order. Weather.kif 1795-1810
No TPTP formula. May not be expressible in strict first order. Weather.kif 1760-1769
No TPTP formula. May not be expressible in strict first order. Weather.kif 1748-1758
( ! [V__STORM] :
   ((s__instance(V__STORM,s__TropicalCyclone) =>
       (( ? [V__PLACE] :
           ((s__instance(V__PLACE,s__GeographicArea) &
               s__geographicSubregion(V__PLACE,s__Tropics) &
               s__eventLocated(V__STORM,V__PLACE))))))
   )
)

 Weather.kif 394-400
( ! [V__X] :
   ((s__instance(V__X,s__DiningGuide) =>
       (( ? [V__LOC, V__REST] :
           ((s__instance(V__LOC,s__GeographicArea) &
               s__refers(V__X,V__LOC)
             &
             s__instance(V__REST,s__Restaurant) &
             s__located(V__REST,V__LOC)
           &
           s__refers(V__X,V__REST))))))
)
)

 Mid-level-ontology.kif 24526-24534
( ! [V__X] :
   ((s__instance(V__X,s__GuideBook) =>
       (( ? [V__LOC] :
           ((s__instance(V__LOC,s__GeographicArea) &
               s__refers(V__X,V__LOC))))))
   )
)

 Mid-level-ontology.kif 24514-24519
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19789-19804
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4010-4019
( ! [V__X] :
   ((s__instance(V__X,s__SubwaySystem) =>
       (( ? [V__SURF] :
           ((s__instance(V__SURF,s__SelfConnectedObject) &
               (s__surface(V__SURF,s__GeographicArea) &
                 s__orientation(V__X,V__SURF,s__Below)))))))
     )
   )

 Transportation.kif 325-330
( ! [V__AREA,V__ATTRIBUTE] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__ATTRIBUTE,s__TerrainAttribute))
       =>
       ((s__terrainInArea(V__AREA,V__ATTRIBUTE)
         =>
         (( ? [V__REGION] :
             ((s__instance(V__REGION,s__GeographicArea) &
                 s__attribute(V__REGION,V__ATTRIBUTE)
               &
               s__partlyLocated(V__REGION,V__AREA))))))))
)
)

 Geography.kif 1672-1678


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