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 13362-13367
s__externalImage(s__GeographicArea,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg"')

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

Merge.kif 13361-13361 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 13360-13360 Geographic area is a subclass of region

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


s__disjoint(s__AstronomicalBody,s__GeographicArea)

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

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

s__instance(s__GeographicArea,s__SetOrClass)

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

s__instance(s__ArcticRegion,s__GeographicArea)

Geography.kif 3442-3442 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 6476-6476 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 4643-4643 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 29227-29227 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 1928-1928 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 1904-1904 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 6444-6444 The number 2 argument of GeographicPartTypeFn is an instance of geographic area
s__domain(s__Mean10MinutesWindSpeedFn__m,n__1,s__GeographicArea)

Weather.kif 2211-2211 The number 1 argument of ten minute mean surface wind speed is an instance of geographic area
s__domain(s__Mean1MinuteWindSpeedFn__m,n__1,s__GeographicArea)

Weather.kif 2316-2316 The number 1 argument of one minute mean surface wind speed is an instance of geographic area
s__domain(s__Mean2MinutesWindSpeedFn__m,n__1,s__GeographicArea)

Weather.kif 2281-2281 The number 1 argument of two minute mean surface wind speed is an instance of geographic area
s__domain(s__Mean3MinutesWindSpeedFn__m,n__1,s__GeographicArea)

Weather.kif 2246-2246 The number 1 argument of three minute mean surface wind speed is an instance of geographic area
s__domain(s__Mean3SecondWindSpeedFn__m,n__1,s__GeographicArea)

Weather.kif 1898-1898 The number 1 argument of three second mean surface wind speed is an instance of geographic area
s__domain(s__Mean3SecondWindSpeedListFn__m,n__1,s__GeographicArea)

Weather.kif 1986-1986 The number 1 argument of mean three second wind speed list is an instance of geographic area
s__domain(s__SeacoastFn__m,n__1,s__GeographicArea)

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

Geography.kif 5950-5950 The number 1 argument of shoreline is an instance of geographic area
s__domain(s__ThreeSecondGustSpeedFn__m,n__1,s__GeographicArea)

Weather.kif 2026-2026 The number 1 argument of three second gust speed is an instance of geographic area
s__domain(s__agentOperatesInArea__m,n__2,s__GeographicArea)

Government.kif 2222-2222 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 2043-2043 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 21570-21570 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 1220-1220 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 1295-1295 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 985-985 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 1530-1530 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
-------------------------


( ! [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 1878-1883
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 1698-1704
( ! [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 1935-1946
( ! [V__U,V__AREA,V__ELEV1] :
   ((s__instance(V__ELEV1,s__RealNumber) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__geographicSubregion(s__ElevationLowPointFn(V__AREA)
          ,V__AREA)
         &
         s__instance(V__U,s__UnitOfLength) &
         s__elevation(s__ElevationLowPointFn(V__AREA)
      ,s__MeasureFn(V__ELEV1,V__U)))
=>
(~(( ? [V__OTHER, V__ELEV2] :
       ((s__instance(V__OTHER,s__GeographicArea) &
           s__instance(V__ELEV2,s__RealNumber) &
           (s__geographicSubregion(V__OTHER,V__AREA)
           &
           ~((V__OTHER = s__ElevationLowPointFn(V__AREA)))
         &
         s__elevation(V__OTHER,s__MeasureFn(V__ELEV2,V__U))
     &
     s__lessThan(V__ELEV2,V__ELEV1))))))))))
)
)

Geography.kif 1911-1925
( ! [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 1836-1841
( ! [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 1829-1834
( ! [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 1850-1855
( ! [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 1843-1848
( ! [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 892-898
( ! [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 882-890
( ! [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 943-949
( ! [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 933-941
( ! [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 917-925
( ! [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 906-915
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree))
           &
           s__greaterThan(n__10,V__TEMP))
       =>
       (s__instance(V__AREA,s__PolarClimateZone)))))
)
)

Geography.kif 1546-1553
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__TropicalClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__instance(V__AREA,s__GeographicArea) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThan(V__TEMP,n__18)))))
)
)

Geography.kif 1281-1288
( ! [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
No TPTP formula. May not be expressible in strict first order. Weather.kif 2593-2601
( ! [V__FOG,V__A,V__AIR,V__VISIBILITY,V__AREA] :
   ((s__instance(V__VISIBILITY,s__RealNumber) =>
       (((s__instance(V__FOG,s__Fogging) &
             s__eventLocated(V__FOG,V__AREA)
           &
           s__instance(V__AREA,s__GeographicArea) &
           s__instance(V__AIR,s__AtmosphericRegion) &
           s__orientation(V__AIR,V__AREA,s__Above) &
           s__instance(V__A,s__Aerosal) &
           s__locatedAtTime(V__A,s__WhenFn(V__FOG)
        ,V__AIR)
       &
       s__visibilityInMeteorology(V__AREA,s__WhenFn(V__FOG)
    ,s__MeasureFn(V__VISIBILITY,s__Meter)))
=>
(s__lessThan(V__VISIBILITY,n__1000)))))
)
)

Weather.kif 2530-2543
( ! [V__P,V__H,V__SEA] :
   ((s__instance(V__SEA,s__Object) =>
       (((s__instance(V__H,s__Hurricane) &
             s__eventLocated(V__H,V__P)
           &
           s__instance(V__P,s__GeographicArea) &
           (s__located(V__P,V__SEA)
           |
           s__meetsSpatially(V__P,V__SEA)))
     =>
     (((V__SEA = s__NortheasternPacificOcean) |
           (V__SEA = s__NorthAtlanticOcean))))))
   )
)

Weather.kif 753-763
( ! [V__AIR,V__VISIBILITY,V__HAZE,V__AREA,V__PARTICULATE] :
   (((s__instance(V__VISIBILITY,s__RealNumber) &
         s__instance(V__PARTICULATE,s__Object))
       =>
       (((s__instance(V__HAZE,s__AtmosphericHazing) &
             s__eventLocated(V__HAZE,V__AREA)
           &
           s__instance(V__AREA,s__GeographicArea) &
           s__instance(V__AIR,s__AtmosphericRegion) &
           s__orientation(V__AIR,V__AREA,s__Above) &
           s__locatedAtTime(V__PARTICULATE,s__WhenFn(V__HAZE)
        ,V__AIR)
       &
       s__visibilityInMeteorology(V__AREA,s__WhenFn(V__HAZE)
    ,s__MeasureFn(V__VISIBILITY,s__Kilometer)))
=>
((s__greaterThan(V__VISIBILITY,n__2)
   &
   s__lessThan(V__VISIBILITY,n__5))))))
)
)

Weather.kif 2559-2573
No TPTP formula. May not be expressible in strict first order. Weather.kif 2583-2591

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 1650-1671
( ! [V__TYPE,V__AREA] :
   (((s__subclass(V__TYPE,s__ClimateZone) &
         s__instance(V__TYPE,s__Class) &
         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 1251-1257
( ! [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 1872-1877
( ! [V__H] :
   ((s__instance(V__H,s__Hurricane) =>
       (( ? [V__TC, V__PLACE, V__WIND] :
           ((s__instance(V__WIND,s__RealNumber) &
               (s__instance(V__TC,s__TropicalCyclone) &
                 s__instance(V__PLACE,s__GeographicArea) &
                 s__eventLocated(V__TC,V__PLACE)
               &
               (s__MeasureFn(V__WIND,s__MilesPerHour) = s__Mean1MinuteWindSpeedFn(V__PLACE,s__WhenFn(V__TC)))
           &
           s__greaterThanOrEqualTo(V__WIND,n__74)))))))
)
)

Weather.kif 740-751
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 12043-12048
No TPTP formula. May not be expressible in strict first order. Weather.kif 1731-1741
( ! [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 2635-2644
No TPTP formula. May not be expressible in strict first order. Weather.kif 2620-2633
No TPTP formula. May not be expressible in strict first order. Weather.kif 2933-2948
No TPTP formula. May not be expressible in strict first order. Weather.kif 2898-2907
No TPTP formula. May not be expressible in strict first order. Weather.kif 2886-2896
( ! [V__STORM] :
   ((s__instance(V__STORM,s__TropicalCyclonicSystem) =>
       (( ? [V__PLACE] :
           ((s__instance(V__PLACE,s__GeographicArea) &
               s__geographicSubregion(V__PLACE,s__Tropics) &
               s__origin(V__STORM,V__PLACE))))))
   )
)

Weather.kif 619-625
( ! [V__T] :
   ((s__instance(V__T,s__Typhoon) =>
       (( ? [V__TC, V__PLACE, V__WIND] :
           ((s__instance(V__WIND,s__RealNumber) &
               (s__instance(V__TC,s__TropicalCyclone) &
                 s__instance(V__PLACE,s__GeographicArea) &
                 s__eventLocated(V__TC,V__PLACE)
               &
               (s__MeasureFn(V__WIND,s__MilesPerHour) = s__Mean10MinutesWindSpeedFn(V__PLACE,s__WhenFn(V__TC)))
           &
           s__greaterThanOrEqualTo(V__WIND,n__64)))))))
)
)

Weather.kif 774-785
( ! [V__TC] :
   ((s__instance(V__TC,s__TropicalCyclone) =>
       (( ? [V__PLACE, V__WIND] :
           ((s__instance(V__WIND,s__RealNumber) &
               (s__instance(V__PLACE,s__GeographicArea) &
                 s__eventLocated(V__TC,V__PLACE)
               &
               (s__MeasureFn(V__WIND,s__MilesPerHour) = s__Mean1MinuteWindSpeedFn(V__PLACE,s__WhenFn(V__TC)))
           &
           s__greaterThanOrEqualTo(V__WIND,n__44)))))))
)
)

Weather.kif 681-691
( ! [V__TD] :
   ((s__instance(V__TD,s__TropicalDepression) =>
       (( ? [V__PLACE, V__WIND] :
           ((s__instance(V__WIND,s__RealNumber) &
               (s__instance(V__PLACE,s__GeographicArea) &
                 s__eventLocated(V__TD,V__PLACE)
               &
               (s__MeasureFn(V__WIND,s__MilesPerHour) = s__Mean1MinuteWindSpeedFn(V__PLACE,s__WhenFn(V__TD)))
           &
           s__lessThanOrEqualTo(V__WIND,n__38)))))))
)
)

Weather.kif 660-670
( ! [V__TS] :
   ((s__instance(V__TS,s__TropicalStorm) =>
       (( ? [V__PLACE, V__WIND] :
           ((s__instance(V__WIND,s__RealNumber) &
               (s__instance(V__PLACE,s__GeographicArea) &
                 s__eventLocated(V__TS,V__PLACE)
               &
               (s__MeasureFn(V__WIND,s__MilesPerHour) = s__Mean1MinuteWindSpeedFn(V__PLACE,s__WhenFn(V__TS)))
           &
           s__greaterThanOrEqualTo(V__WIND,n__39)
         &
         s__lessThanOrEqualTo(V__WIND,n__74)))))))
)
)

Weather.kif 716-727
( ! [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 25010-25018
( ! [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 24998-25003
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20634-20649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3406-3415
( ! [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 328-333
( ! [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 1690-1696


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