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


KB Term:  Term intersection
English Word: 

  WaterArea

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


(subclass WaterArea GeographicArea) Merge.kif 14434-14434 Water area is a subclass of geographic area
(documentation WaterArea EnglishLanguage "A body which is made up predominantly of water, e.g. rivers, lakes, oceans, etc.") Merge.kif 14435-14436 Water area is a subclass of geographic area
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg") pictureList.kif 8789-8789 Water area is a subclass of geographic area
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg") pictureList.kif 9807-9807 Water area is a subclass of geographic area

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


(partition GeographicArea WaterArea LandArea) Merge.kif 14341-14341 Geographic area is exhaustively partitioned into water area and land area
(subclass SaltWaterArea WaterArea) Merge.kif 14447-14447 Salt water area is a subclass of water area
(subclass FreshWaterArea WaterArea) Merge.kif 14452-14452 Fresh water area is a subclass of water area
(subclass StreamWaterArea WaterArea) Mid-level-ontology.kif 10399-10399 Stream water area is a subclass of water area
(subclass StaticWaterArea WaterArea) Mid-level-ontology.kif 10406-10406 Static water area is a subclass of water area
(subclass HydropowerWaterArea WaterArea) Geography.kif 3480-3480 Hydropower water area is a subclass of water area
(subclass BodyOfWater WaterArea) Geography.kif 5997-5997 Body of water is a subclass of water area
(subclass WaterCurrent WaterArea) Geography.kif 6488-6488 Water current is a subclass of water area
(subclass InlandWaterSystem WaterArea) Geography.kif 6946-6946 Inland water system is a subclass of water area
(subclass StreamWaterConfluence WaterArea) Geography.kif 7084-7084 Stream water confluence is a subclass of water area
(subclass RiverSystem WaterArea) Geography.kif 7109-7109 River system is a subclass of water area
(subclass Waterway WaterArea) Geography.kif 7177-7177 Waterway is a subclass of water area
(subclass RiverMouth WaterArea) Geography.kif 7255-7255 River mouth is a subclass of water area
(subclass Harbor WaterArea) Transportation.kif 917-917 Harbor is a subclass of water area
(subclass Anchorage WaterArea) Transportation.kif 921-921 Anchorage is a subclass of water area
(subclass ShipBerth WaterArea) Transportation.kif 4314-4314 Ship berth is a subclass of water area
(subclass NinoRegion WaterArea) Weather.kif 841-841 Nino region is a subclass of water area
(subclass SurfZone WaterArea) Weather.kif 2689-2689 Surf zone is a subclass of water area
(termFormat EnglishLanguage WaterArea "water area") english_format.kif 1111-1111 Surf zone is a subclass of water area

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


(domain waterDepth 1 WaterArea) Mid-level-ontology.kif 19486-19486 The number 1 argument of water depth is an instance of water area
(domain flowCurrent 2 WaterArea) Geography.kif 7159-7159 The number 2 argument of flow current is an instance of water area
(domain streamOutfall 1 WaterArea) Geography.kif 7287-7287 The number 1 argument of stream outfall is an instance of water area
(domain ShorelineFn 2 WaterArea) Geography.kif 7769-7769 The number 2 argument of shoreline is an instance of water area
(domain navigableForShippingTonnage 1 WaterArea) Transportation.kif 3703-3703 The number 1 argument of navigable for shipping tonnage is an instance of water area
(domain navigableForDraft 1 WaterArea) Transportation.kif 3720-3720 The number 1 argument of navigable for draft is an instance of water area
(domain MeanMonthSSTFn 1 WaterArea) Weather.kif 619-619 The number 1 argument of mean month sea surface temperature is an instance of water area
(domain averageSSTForPeriod 1 WaterArea) Weather.kif 724-724 The number 1 argument of average sea surface temperature for period is an instance of water area
(domain ThreeMonthsRunningMeanSSTFn 1 WaterArea) Weather.kif 784-784 The number 1 argument of three months running mean sea surface temperature is an instance of water area
(domain ThirtyYearAverageSSTForMonthFn 1 WaterArea) Weather.kif 817-817 The number 1 argument of thirty year average sea surface temperature for month is an instance of water area
(domain seaSurfaceTemperature 1 WaterArea) Weather.kif 1652-1652 The number 1 argument of sea surface temperature is an instance of water area
(domain significantWaveHeight 1 WaterArea) Weather.kif 2834-2834 The number 1 argument of significant wave height is an instance of water area

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


(=>
    (instance ?AREA WaterArea)
    (exists (?BED ?HOLE ?WATER)
        (and
            (equal
                (HoleHostFn ?HOLE) ?BED)
            (instance ?WATER Water)
            (properlyFills ?WATER ?HOLE)
            (equal
                (MereologicalSumFn ?BED ?WATER) ?AREA))))		 Merge.kif 14438-14445 If X is an instance of water area, then All of the following hold: (1) there exist Y, Z (2) W such that equal the host of the hole Z (3) Y (4) W is an instance of water (5) W properly fills Z (6) equal the union of the parts of Y (7) W (8) X
(=>
    (and
        (instance ?SYSTEM InlandWaterSystem)
        (instance ?WATER1 WaterArea)
        (instance ?WATER2 WaterArea)
        (not
            (equal ?WATER1 ?WATER2))
        (not
            (connected ?WATER1 ?WATER2))
        (geographicSubregion ?WATER1 ?SYSTEM)
        (geographicSubregion ?WATER2 ?SYSTEM))
    (exists (?WATER3)
        (and
            (instance ?WATER3 WaterArea)
            (not
                (equal ?WATER3 ?WATER1))
            (not
                (equal ?WATER3 ?WATER1))
            (part ?WATER3 ?SYSTEM)
            (connects ?WATER3 ?WATER1 ?WATER2))))		 Geography.kif 6985-7000 If All of the following hold: (1) X is an instance of inland water system (2) Y is an instance of water area (3) Z is an instance of water area (4) equal Y and Z (5) Y is not connected to Z (6) Y is a geographic subregion of X (7) Z is a geographic subregion of X, then All of the following hold: (1) there exists W such that W is an instance of water area (2) equal W (3) Y (4) equal W (5) Y (6) W is a part of X (7) W connects Y (8) Z
(=>
    (and
        (instance ?FALL Waterfall)
        (instance ?CURRENT WaterMotion)
        (flowCurrent ?CURRENT ?FALL)
        (origin ?CURRENT ?TOP)
        (destination ?CURRENT ?BOTTOM)
        (instance ?TOP WaterArea)
        (instance ?BOTTOM WaterArea))
    (orientation ?TOP ?BOTTOM Above))		 Geography.kif 7161-7170 If All of the following hold: (1) X is an instance of waterfall (2) Y is an instance of water motion (3) X is a flow current of Y (4) Y originates at Z (5) Y ends up at W (6) Z is an instance of water area (7) W is an instance of water area, then Z is above to W
(=>
    (and
        (instance ?COAST Seacoast)
        (instance ?WATER WaterArea)
        (orientation ?WATER ?COAST Adjacent))
    (instance ?WATER SaltWaterArea))		 Geography.kif 7726-7731 If X is an instance of seacoast, Y is an instance of water area, and Y is adjacent to X, then Y is an instance of salt water area
(=>
    (and
        (instance ?SHORE ShoreArea)
        (instance ?WATER WaterArea)
        (orientation ?SHORE ?WATER Adjacent))
    (exists (?LINE)
        (and
            (instance ?LINE Shoreline)
            (part ?LINE ?SHORE)
            (meetsSpatially ?LINE ?WATER))))		 Geography.kif 7752-7761 If X is an instance of shore area, Y is an instance of water area, and X is adjacent to Y, then there exists Z such that Z is an instance of shoreline, Z is a part of X, and Z meets Y
(=>
    (and
        (instance ?W WaterArea)
        (equal ?T
            (DailyTempFn ?W ?D)))
    (averageSSTForPeriod ?W ?D ?T))		 Weather.kif 716-721 If X is an instance of water area and equal Y and The avearage daily temperature for Region X, then Y for X for Z
(=>
    (and
        (instance ?HS HeavySurf)
        (instance ?PLACE WaterArea)
        (eventLocated ?HS ?PLACE))
    (exists (?SWIM ?A)
        (and
            (instance ?SWIM Swimming)
            (instance ?A Human)
            (agent ?SWIM ?A)
            (eventLocated ?SWIM ?PLACE)
            (holdsDuring
                (WhenFn ?HS)
                (hazardous ?HS ?A)))))		 Weather.kif 2888-2901 If X is an instance of heavy zone, Y is an instance of water area, and X is located at Y, then there exist Z, W such that Z is an instance of swimming, W is an instance of human, W is an agent of Z, Z is located at Y, and X is hazardous to W holds during the time of existence of X

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


(=>
    (and
        (instance ?SWIM Swimming)
        (agent ?SWIM ?AGENT))
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (located ?AGENT ?AREA))))		 Merge.kif 11426-11433 If X is an instance of swimming and Y is an agent of X, then there exists Z such that Z is an instance of water area and Y is located at Z
(=>
    (instance ?BANK ShoreArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?BANK ?WATER))))		 Merge.kif 14488-14493 If X is an instance of shore area, then there exists Y such that Y is an instance of water area and X meets Y
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))		 Merge.kif 14530-14535 If X is an instance of island, then there exists Y such that Y is an instance of water area and X meets Y
(=>
    (instance ?P Wading)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?P ?W))))		 Mid-level-ontology.kif 519-524 If X is an instance of wading, then there exists Y such that Y is an instance of water area and X is located at Y
(=>
    (and
        (instance ?CRAFT WaterVehicle)
        (instance ?EVENT Transportation)
        (instrument ?EVENT ?CRAFT))
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (eventLocated ?EVENT ?WATER))))		 Mid-level-ontology.kif 4125-4133 If X is an instance of water vehicle, Y is an instance of transportation, and X is an instrument for Y, then there exists Z such that Z is an instance of water area and Y is located at Z
(=>
    (instance ?S Sinking)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?S ?W))))		 Mid-level-ontology.kif 14667-14672 If X is an instance of sinking, then there exists Y such that Y is an instance of water area and X is located at Y
(=>
    (instance ?WAVE WaterWave)
    (exists (?AREA)
        (and
            (instance ?AREA WaterArea)
            (eventLocated ?WAVE ?AREA))))		 Mid-level-ontology.kif 19478-19483 If X is an instance of water wave, then there exists Y such that Y is an instance of water area and X is located at Y
(=>
    (instance ?R UnderwaterRegion)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?R ?WATER Below))))		 Mid-level-ontology.kif 19598-19603 If X is an instance of under water, then there exists Y such that Y is an instance of water area and X is below to Y
(=>
    (instance ?TRANSPORT WaterTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT WaterVehicle)
            (instance ?AREA WaterArea)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?AREA))))		 Mid-level-ontology.kif 19663-19670 If X is an instance of water transportation, then there exist Y, Z such that Y is an instance of water vehicle, Z is an instance of water area, Y is an instrument for X, and X is located at Z
(=>
    (instance ?SCUBA ScubaDiving)
    (exists (?WATER ?DEVICE ?BREATH)
        (and
            (instance ?WATER WaterArea)
            (orientation ?SCUBA ?WATER Below)
            (instance ?DEVICE Device)
            (instance ?BREATH Breathing)
            (instrument ?BREATH ?DEVICE)
            (subProcess ?BREATH ?SCUBA))))		 Mid-level-ontology.kif 29496-29505 If X is an instance of scuba diving, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of water area (3) X is below to Y (4) Z is an instance of device (5) W is an instance of breathing (6) Z is an instrument for W (7) W is a subprocess of X
(=>
    (instance ?EXCLUSIVELANDAREA SurfaceGroundArea)
    (not
        (exists (?WATERAREA)
            (and
                (instance ?WATERAREA WaterArea)
                (part ?WATERAREA ?EXCLUSIVELANDAREA)))))		 Geography.kif 2047-2053 If X is an instance of surface ground area, then there doesn't exist Y such that Y is an instance of water area and Y is a part of X
(=>
    (instance ?SEA Sea)
    (exists (?OCEAN ?PATH)
        (and
            (instance ?OCEAN Ocean)
            (instance ?PATH WaterArea)
            (connects ?PATH ?OCEAN ?SEA))))		 Geography.kif 6325-6331 If X is an instance of sea, then there exist Y, Z such that Y is an instance of ocean, Z is an instance of water area, Z connects Y, and X
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))		 Geography.kif 6825-6830 If X is an instance of inlet, then there exists Y such that Y is an instance of water area and X is connected to Y
(=>
    (instance ?CHANNEL Channel)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 6927-6933 If X is an instance of channel, then there exist Y, Z such that Y is an instance of water area, Z is an instance of water area, X connects Y, and Z
(=>
    (and
        (instance ?SYSTEM InlandWaterSystem)
        (instance ?WATER1 WaterArea)
        (instance ?WATER2 WaterArea)
        (not
            (equal ?WATER1 ?WATER2))
        (not
            (connected ?WATER1 ?WATER2))
        (geographicSubregion ?WATER1 ?SYSTEM)
        (geographicSubregion ?WATER2 ?SYSTEM))
    (exists (?WATER3)
        (and
            (instance ?WATER3 WaterArea)
            (not
                (equal ?WATER3 ?WATER1))
            (not
                (equal ?WATER3 ?WATER1))
            (part ?WATER3 ?SYSTEM)
            (connects ?WATER3 ?WATER1 ?WATER2))))		 Geography.kif 6985-7000 If All of the following hold: (1) X is an instance of inland water system (2) Y is an instance of water area (3) Z is an instance of water area (4) equal Y and Z (5) Y is not connected to Z (6) Y is a geographic subregion of X (7) Z is a geographic subregion of X, then All of the following hold: (1) there exists W such that W is an instance of water area (2) equal W (3) Y (4) equal W (5) Y (6) W is a part of X (7) W connects Y (8) Z
(=>
    (instance ?CHANNEL Canal)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 7199-7205 If X is an instance of canal, then there exist Y, Z such that Y is an instance of water area, Z is an instance of water area, X connects Y, and Z
(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?RIVER))))		 Geography.kif 7217-7222 If X is an instance of dam, then there exists Y such that Y is an instance of water area and X traverses Y
(=>
    (streamOutfall ?MOUTH ?RIVER)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (flows ?RIVER ?WATER)
            (connected ?MOUTH ?WATER))))		 Geography.kif 7293-7299 If X is the outfall of Y, then there exists Z such that Z is an instance of water area, Z is a flows of Y, and X is connected to Z
(=>
    (instance ?Peninsula Peninsula)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (penetrates ?Peninsula ?Water))))		 Geography.kif 7400-7405 If X is an instance of peninsula, then there exists Y such that Y is an instance of water area and X penetrates Y
(=>
    (instance ?Cape Cape)
    (exists (?WaterRegion)
        (and
            (instance ?WaterRegion WaterArea)
            (penetrates ?Cape ?WaterRegion))))		 Geography.kif 7411-7416 If X is an instance of cape, then there exists Y such that Y is an instance of water area and X penetrates Y
(=>
    (and
        (instance ?Isthmus Isthmus)
        (side ?Leftside ?Isthmus)
        (side ?Rightside ?Isthmus)
        (not
            (equal ?Leftside ?Rightside)))
    (exists (?Region1 ?Region2 ?Water1 ?Water2)
        (and
            (instance ?Region1 LandArea)
            (instance ?Region2 LandArea)
            (between ?Region1 ?Isthmus ?Region2)
            (instance ?Water1 WaterArea)
            (instance ?Water2 WaterArea)
            (meetsSpatially ?Leftside ?Water1)
            (meetsSpatially ?Rightside ?Water2))))		 Geography.kif 7423-7437 If X is an instance of isthmus, a side of X is Y, a side of X is Z, and equal Y and Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of land area (3) V is an instance of land area (4) X is between W (5) V (6) U is an instance of water area (7) T is an instance of water area (8) Y meets U (9) Z meets T
(=>
    (instance ?LAND Shoal)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?LAND ?WATER))))		 Geography.kif 7513-7518 If X is an instance of shoal, then there exists Y such that Y is an instance of water area and X meets Y
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))		 Geography.kif 7542-7547 If X is an instance of reef, then there exists Y such that Y is an instance of water area and X is near to Y
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))		 Geography.kif 7672-7679 If X is an instance of submerged land area, then there exists Y such that Y is an instance of water area, X is below to Y, Y is on to X, and X meets Y
(=>
    (instance ?LINE Shoreline)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?WATER ?LINE))))		 Geography.kif 7738-7743 If X is an instance of shoreline, then there exists Y such that Y is an instance of water area and Y meets X

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners