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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterArea
WaterArea(water area)
Bo_Hai, Canakkale_Bogazi, Charybdis, Cross-Florida_Waterway, Dardanelles, Hellespont, Inland_Passage, Inside_Passage, Mediterranean, Okeechobee_Waterway, Po_Hai, U.S._waters, United_States_waters, backwater, basin, body_of_water, catchment_area, catchment_basin, deep-sea, deep-water, detention_basin, ditch, drainage_area, drainage_basin, drink, eddy, estuarial, estuarine, flowage, maelstrom, mare_clausum, mare_liberum, marine, mid-water, neritic, oceanic, offing, offshore, pelagic, polynya, pool, reefy, retention_basin, river_basin, scour, shallow, shelfy, shelvy, shoal, shoaly...

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


s__documentation(s__WaterArea,s__ChineseLanguage,'"一处主要由水组成的地区,例如:河流、湖泊和海洋等等。"')

chinese_format.kif 1448-1448
s__documentation(s__WaterArea,s__EnglishLanguage,'"A body which is made up predominantly of water, e.g. rivers, lakes, oceans, etc."')

Merge.kif 13450-13451
s__externalImage(s__WaterArea,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg"')

pictureList.kif 8794-8794
s__externalImage(s__WaterArea,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg"')

pictureList.kif 9825-9825
s__subclass(s__WaterArea,s__GeographicArea)

s__instance(s__GeographicArea,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

Merge.kif 13449-13449 Water area is a subclass of geographic area

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


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__subclass(s__Anchorage,s__WaterArea)

s__instance(s__WaterArea,s__SetOrClass)

s__instance(s__Anchorage,s__SetOrClass)

Transportation.kif 921-921 Anchorage is a subclass of water area
s__subclass(s__BodyOfWater,s__WaterArea)

s__instance(s__BodyOfWater,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

Geography.kif 4306-4306 Body of water is a subclass of water area
s__subclass(s__FreshWaterArea,s__WaterArea)

s__instance(s__FreshWaterArea,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

Merge.kif 13467-13467 Fresh water area is a subclass of water area
s__instance(s__Harbor,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

s__subclass(s__Harbor,s__WaterArea)

Transportation.kif 917-917 Harbor is a subclass of water area
s__instance(s__HydropowerWaterArea,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

s__subclass(s__HydropowerWaterArea,s__WaterArea)

Geography.kif 1999-1999 Hydropower water area is a subclass of water area
s__subclass(s__InlandWaterSystem,s__WaterArea)

s__instance(s__InlandWaterSystem,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

Geography.kif 5125-5125 Inland water system is a subclass of water area
s__instance(s__RiverMouth,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

s__subclass(s__RiverMouth,s__WaterArea)

Geography.kif 5437-5437 River mouth is a subclass of water area
s__instance(s__RiverSystem,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

s__subclass(s__RiverSystem,s__WaterArea)

Geography.kif 5292-5292 River system is a subclass of water area
s__subclass(s__SaltWaterArea,s__WaterArea)

s__instance(s__SaltWaterArea,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

Merge.kif 13462-13462 Salt water area is a subclass of water area
s__subclass(s__ShipBerth,s__WaterArea)

s__instance(s__ShipBerth,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

Transportation.kif 2944-2944 Ship berth is a subclass of water area
s__instance(s__StaticWaterArea,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

s__subclass(s__StaticWaterArea,s__WaterArea)

Mid-level-ontology.kif 8530-8530 Static water area is a subclass of water area
s__instance(s__StreamWaterArea,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

s__subclass(s__StreamWaterArea,s__WaterArea)

Mid-level-ontology.kif 8523-8523 Stream water area is a subclass of water area
s__subclass(s__StreamWaterConfluence,s__WaterArea)

s__instance(s__WaterArea,s__SetOrClass)

s__instance(s__StreamWaterConfluence,s__SetOrClass)

Geography.kif 5267-5267 Stream water confluence is a subclass of water area
s__instance(s__SurfZone,s__SetOrClass)

s__subclass(s__SurfZone,s__WaterArea)

s__instance(s__WaterArea,s__SetOrClass)

Weather.kif 1376-1376 Surf zone is a subclass of water area
s__instance(s__WaterCurrent,s__SetOrClass)

s__instance(s__WaterArea,s__SetOrClass)

s__subclass(s__WaterCurrent,s__WaterArea)

Geography.kif 4718-4718 Water current is a subclass of water area
s__subclass(s__Waterway,s__WaterArea)

s__instance(s__WaterArea,s__SetOrClass)

s__instance(s__Waterway,s__SetOrClass)

Geography.kif 5360-5360 Waterway is a subclass of water area
s__termFormat(s__ChineseLanguage,s__WaterArea,'"水域"')

chinese_format.kif 950-950
s__termFormat(s__EnglishLanguage,s__WaterArea,'"water area"')

english_format.kif 1112-1112

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


s__domain(s__ShorelineFn__m,n__2,s__WaterArea)

Geography.kif 5951-5951 The number 2 argument of shoreline is an instance of water area
s__domain(s__flowCurrent__m,n__2,s__WaterArea)

Geography.kif 5342-5342 The number 2 argument of flow current is an instance of water area
s__domain(s__navigableForDraft__m,n__1,s__WaterArea)

Transportation.kif 2653-2653 The number 1 argument of navigable for draft is an instance of water area
s__domain(s__navigableForShippingTonnage__m,n__1,s__WaterArea)

Transportation.kif 2636-2636 The number 1 argument of navigable for shipping tonnage is an instance of water area
s__domain(s__seaSurfaceTemperature__m,n__1,s__WaterArea)

Weather.kif 975-975 The number 1 argument of sea surface temperature is an instance of water area
s__domain(s__significantWaveHeight__m,n__1,s__WaterArea)

Weather.kif 1523-1523 The number 1 argument of significant wave height is an instance of water area
s__domain(s__streamOutfall__m,n__1,s__WaterArea)

Geography.kif 5469-5469 The number 1 argument of stream outfall is an instance of water area
s__domain(s__waterDepth__m,n__1,s__WaterArea)

Mid-level-ontology.kif 16316-16316 The number 1 argument of water depth is an instance of water area

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


( ! [V__COAST,V__WATER] :
   (((s__instance(V__COAST,s__Seacoast) &
         s__instance(V__WATER,s__WaterArea) &
         s__orientation(V__WATER,V__COAST,s__Adjacent))
       =>
       (s__instance(V__WATER,s__SaltWaterArea)))
     )
   )

Geography.kif 5908-5913
( ! [V__FALL,V__BOTTOM,V__CURRENT,V__TOP] :
   (((s__instance(V__FALL,s__Waterfall) &
         s__instance(V__CURRENT,s__WaterMotion) &
         s__flowCurrent(V__CURRENT,V__FALL)
       &
       s__origin(V__CURRENT,V__TOP)
     &
     s__destination(V__CURRENT,V__BOTTOM)
   &
   s__instance(V__TOP,s__WaterArea) &
   s__instance(V__BOTTOM,s__WaterArea))
=>
(s__orientation(V__TOP,V__BOTTOM,s__Above)))
)
)

Geography.kif 5344-5353
No TPTP formula. May not be expressible in strict first order. Weather.kif 1578-1591
( ! [V__WATER,V__SHORE] :
   (((s__instance(V__SHORE,s__ShoreArea) &
         s__instance(V__WATER,s__WaterArea) &
         s__orientation(V__SHORE,V__WATER,s__Adjacent))
       =>
       (( ? [V__LINE] :
           ((s__instance(V__LINE,s__Shoreline) &
               s__part(V__LINE,V__SHORE)
             &
             s__meetsSpatially(V__LINE,V__WATER))))))
)
)

Geography.kif 5934-5943
( ! [V__WATER1,V__WATER2,V__SYSTEM] :
   (((s__instance(V__SYSTEM,s__InlandWaterSystem) &
         s__instance(V__WATER1,s__WaterArea) &
         s__instance(V__WATER2,s__WaterArea) &
         ~((V__WATER1 = V__WATER2))
         &
         ~(s__connected(V__WATER1,V__WATER2))
       &
       s__geographicSubregion(V__WATER1,V__SYSTEM)
     &
     s__geographicSubregion(V__WATER2,V__SYSTEM))
=>
(( ? [V__WATER3] :
     ((s__instance(V__WATER3,s__WaterArea) &
         ~((V__WATER3 = V__WATER1))
         &
         ~((V__WATER3 = V__WATER1))
         &
         s__part(V__WATER3,V__SYSTEM)
       &
       s__connects(V__WATER3,V__WATER1,V__WATER2))))))
)
)

Geography.kif 5164-5179
( ! [V__AREA] :
   ((s__instance(V__AREA,s__WaterArea) =>
       (( ? [V__BED, V__HOLE, V__WATER] :
           ((s__instance(V__BED,s__Object) &
               s__instance(V__HOLE,s__Hole) &
               ((s__HoleHostFn(V__HOLE)
                 = V__BED)
               &
               s__instance(V__WATER,s__Water) &
               s__properlyFills(V__WATER,V__HOLE)
             &
             (s__MereologicalSumFn(V__BED,V__WATER)
             = V__AREA)))))))
)
)

Merge.kif 13453-13460

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


( ! [V__X] :
   (((s__attribute(V__X,s__DeepSeaCoastalAndGreatLakesWaterTransportation) &
         s__instance(V__X,s__TransportationCompany))
       =>
       (( ? [V__SERVICE, V__PLACE] :
           ((s__instance(V__SERVICE,s__WaterTransportationService) &
               s__serviceProvider(V__SERVICE,V__X)
             &
             s__eventLocated(V__SERVICE,V__PLACE)
           &
           s__instance(V__PLACE,s__WaterArea) &
           s__located(V__X,s__NorthAmerica))))))
)
)

naics.kif 8127-8137
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 665-671
( ! [V__CRAFT,V__EVENT] :
   (((s__instance(V__CRAFT,s__WaterVehicle) &
         s__instance(V__EVENT,s__Transportation) &
         s__instrument(V__EVENT,V__CRAFT))
     =>
     (( ? [V__WATER] :
         ((s__instance(V__WATER,s__WaterArea) &
             s__eventLocated(V__EVENT,V__WATER))))))
)
)

Mid-level-ontology.kif 3432-3440
( ! [V__Leftside,V__Rightside,V__Isthmus] :
   (((s__instance(V__Leftside,s__SelfConnectedObject) &
         s__instance(V__Rightside,s__SelfConnectedObject))
       =>
       (((s__instance(V__Isthmus,s__Isthmus) &
             s__side(V__Leftside,V__Isthmus)
           &
           s__side(V__Rightside,V__Isthmus)
         &
         ~((V__Leftside = V__Rightside)))
       =>
       (( ? [V__Region1, V__Region2, V__Water1, V__Water2] :
           ((s__instance(V__Region1,s__LandArea) &
               s__instance(V__Region2,s__LandArea) &
               s__between(V__Region1,V__Isthmus,V__Region2)
             &
             s__instance(V__Water1,s__WaterArea) &
             s__instance(V__Water2,s__WaterArea) &
             s__meetsSpatially(V__Leftside,V__Water1)
           &
           s__meetsSpatially(V__Rightside,V__Water2))))))))
)
)

Geography.kif 5605-5619
( ! [V__AGENT,V__SWIM] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__SWIM,s__Swimming) &
             s__agent(V__SWIM,V__AGENT))
         =>
         (( ? [V__AREA] :
             ((s__instance(V__AREA,s__WaterArea) &
                 s__located(V__AGENT,V__AREA))))))))
)
)

Merge.kif 10698-10705
( ! [V__WATER1,V__WATER2,V__SYSTEM] :
   (((s__instance(V__SYSTEM,s__InlandWaterSystem) &
         s__instance(V__WATER1,s__WaterArea) &
         s__instance(V__WATER2,s__WaterArea) &
         ~((V__WATER1 = V__WATER2))
         &
         ~(s__connected(V__WATER1,V__WATER2))
       &
       s__geographicSubregion(V__WATER1,V__SYSTEM)
     &
     s__geographicSubregion(V__WATER2,V__SYSTEM))
=>
(( ? [V__WATER3] :
     ((s__instance(V__WATER3,s__WaterArea) &
         ~((V__WATER3 = V__WATER1))
         &
         ~((V__WATER3 = V__WATER1))
         &
         s__part(V__WATER3,V__SYSTEM)
       &
       s__connects(V__WATER3,V__WATER1,V__WATER2))))))
)
)

Geography.kif 5164-5179
( ! [V__WH,V__SWH,V__WW] :
   (((s__instance(V__WH,s__LengthMeasure) &
         s__instance(V__SWH,s__RealNumber))
       =>
       (((s__instance(V__WW,s__WaterWave) &
             s__waveHeight(V__WW,V__WH))
         =>
         (( ? [V__LIST, V__WA, V__U] :
             ((s__instance(V__LIST,s__List) &
                 (s__inList(V__WH,V__LIST)
                 &
                 s__instance(V__WA,s__WaterArea) &
                 s__eventLocated(V__WW,V__WA)
               &
               s__instance(V__U,s__LengthMeasure) &
               s__significantWaveHeight(V__WA,s__WhenFn(V__WW)
            ,s__MeasureFn(V__SWH,V__U))
         &
         (V__SWH = s__MultiplicationFn(n__4,s__StandardDeviationFn(V__LIST)))))))))))
)
)

Weather.kif 1531-1546
( ! [V__X,V__Y] :
   ((s__instance(V__Y,s__CognitiveAgent) =>
       (((s__instance(V__X,s__WaterTransportationService) &
             s__serviceProvider(V__X,V__Y)
           &
           s__attribute(V__Y,s__CoastalAndGreatLakesFreightTransportation))
         =>
         (( ? [V__FREIGHT, V__SHIP, V__WATER] :
             ((s__subProcess(V__FREIGHT,V__X)
               &
               s__instance(V__FREIGHT,s__WaterTransportation) &
               s__instrument(V__FREIGHT,V__SHIP)
             &
             s__instance(V__SHIP,s__CargoShip) &
             s__eventLocated(V__FREIGHT,V__WATER)
           &
           s__instance(V__WATER,s__WaterArea) &
           s__geographicSubregion(V__WATER,s__UnitedStates))))))))
)
)

naics.kif 8191-8204
( ! [V__X,V__Y] :
   ((s__instance(V__Y,s__CognitiveAgent) =>
       (((s__instance(V__X,s__WaterTransportationService) &
             s__serviceProvider(V__X,V__Y)
           &
           s__attribute(V__Y,s__CoastalAndGreatLakesPassengerTransportation))
         =>
         (( ? [V__CRUISE, V__SHIP, V__WATER] :
             ((s__subProcess(V__CRUISE,V__X)
               &
               s__instance(V__CRUISE,s__WaterTransportation) &
               s__instrument(V__CRUISE,V__SHIP)
             &
             s__instance(V__SHIP,s__PassengerShip) &
             s__eventLocated(V__CRUISE,V__WATER)
           &
           s__instance(V__WATER,s__WaterArea) &
           s__geographicSubregion(V__WATER,s__UnitedStates) &
           ~(( ? [V__FERRY] :
               ((s__instance(V__FERRY,s__ShortSeaPassengerShip) &
                   (V__SHIP = V__FERRY))))))))))))
)
)

naics.kif 8214-8232
( ! [V__PLACE,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__TransportationDevice) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__WaterVehicle) &
             s__instance(V__EVENT,s__TransportationFn(V__TYPE))
         &
         s__eventLocated(V__EVENT,V__PLACE))
     =>
     (s__instance(V__PLACE,s__WaterArea)))))
)
)

Transportation.kif 2294-2299
( ! [V__BANK] :
   ((s__instance(V__BANK,s__ShoreArea) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__WaterArea) &
               s__meetsSpatially(V__BANK,V__WATER))))))
   )
)

Merge.kif 13503-13508
( ! [V__CHANNEL] :
   ((s__instance(V__CHANNEL,s__Canal) =>
       (( ? [V__WATER1, V__WATER2] :
           ((s__instance(V__WATER1,s__WaterArea) &
               s__instance(V__WATER2,s__WaterArea) &
               s__connects(V__CHANNEL,V__WATER1,V__WATER2))))))
   )
)

Geography.kif 5381-5387
( ! [V__CHANNEL] :
   ((s__instance(V__CHANNEL,s__Channel) =>
       (( ? [V__WATER1, V__WATER2] :
           ((s__instance(V__WATER1,s__WaterArea) &
               s__instance(V__WATER2,s__WaterArea) &
               s__connects(V__CHANNEL,V__WATER1,V__WATER2))))))
   )
)

Geography.kif 5106-5112
( ! [V__Cape] :
   ((s__instance(V__Cape,s__Cape) =>
       (( ? [V__WaterRegion] :
           ((s__instance(V__WaterRegion,s__WaterArea) &
               s__penetrates(V__Cape,V__WaterRegion))))))
   )
)

Geography.kif 5593-5598
( ! [V__DAM] :
   ((s__instance(V__DAM,s__Dam) =>
       (( ? [V__RIVER] :
           ((s__instance(V__RIVER,s__WaterArea) &
               s__traverses(V__DAM,V__RIVER))))))
   )
)

Geography.kif 5399-5404
( ! [V__EXCLUSIVELANDAREA] :
   ((s__instance(V__EXCLUSIVELANDAREA,s__SurfaceGroundArea) =>
       (~(( ? [V__WATERAREA] :
             ((s__instance(V__WATERAREA,s__WaterArea) &
                 s__part(V__WATERAREA,V__EXCLUSIVELANDAREA)))))))
   )
)

Geography.kif 578-584
( ! [V__INLET] :
   ((s__instance(V__INLET,s__Inlet) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__WaterArea) &
               s__connected(V__INLET,V__WATER))))))
   )
)

Geography.kif 5016-5021
( ! [V__ISLE] :
   ((s__instance(V__ISLE,s__Island) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__WaterArea) &
               s__meetsSpatially(V__ISLE,V__WATER))))))
   )
)

Merge.kif 13545-13550
( ! [V__LAND] :
   ((s__instance(V__LAND,s__Shoal) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__WaterArea) &
               s__meetsSpatially(V__LAND,V__WATER))))))
   )
)

Geography.kif 5695-5700
( ! [V__LAND] :
   ((s__instance(V__LAND,s__SubmergedLandArea) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__WaterArea) &
               s__orientation(V__LAND,V__WATER,s__Below) &
               s__orientation(V__WATER,V__LAND,s__On) &
               s__meetsSpatially(V__LAND,V__WATER))))))
   )
)

Geography.kif 5854-5861
( ! [V__LINE] :
   ((s__instance(V__LINE,s__Shoreline) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__WaterArea) &
               s__meetsSpatially(V__WATER,V__LINE))))))
   )
)

Geography.kif 5920-5925
( ! [V__P] :
   ((s__instance(V__P,s__Wading) =>
       (( ? [V__W] :
           ((s__instance(V__W,s__WaterArea) &
               s__eventLocated(V__P,V__W))))))
   )
)

Mid-level-ontology.kif 507-512
( ! [V__Peninsula] :
   ((s__instance(V__Peninsula,s__Peninsula) =>
       (( ? [V__Water] :
           ((s__instance(V__Water,s__WaterArea) &
               s__penetrates(V__Peninsula,V__Water))))))
   )
)

Geography.kif 5582-5587
( ! [V__Reef] :
   ((s__instance(V__Reef,s__Reef) =>
       (( ? [V__Water] :
           ((s__instance(V__Water,s__WaterArea) &
               s__orientation(V__Reef,V__Water,s__Near))))))
     )
   )

Geography.kif 5724-5729
( ! [V__S] :
   ((s__instance(V__S,s__Sinking) =>
       (( ? [V__W] :
           ((s__instance(V__W,s__WaterArea) &
               s__eventLocated(V__S,V__W))))))
   )
)

Mid-level-ontology.kif 11967-11972

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners