| 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 14295-14295 | 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 14296-14297 | 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 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (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 7001-7016 | 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 7182-7191 | 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 7747-7752 | 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 7773-7782 | 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 |
| (=> (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 14299-14306 | 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 ?W WaterArea) (equal ?T (DailyTempFn ?W ?D))) (averageSSTForPeriod ?W ?D ?T)) |
Weather.kif 732-737 | 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 2903-2916 | 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 |
|
|
| (=> (instance ?EXCLUSIVELANDAREA SurfaceGroundArea) (not (exists (?WATERAREA) (and (instance ?WATERAREA WaterArea) (part ?WATERAREA ?EXCLUSIVELANDAREA))))) |
Geography.kif 2051-2057 | 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 6341-6347 | 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 6841-6846 | 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 6943-6949 | 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 7001-7016 | 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 7220-7226 | 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 7238-7243 | 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 7314-7320 | 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 7421-7426 | 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 7432-7437 | 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 7444-7458 | 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 7534-7539 | 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 7563-7568 | 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 7693-7700 | 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 7759-7764 | If X is an instance of shoreline, then there exists Y such that Y is an instance of water area and Y meets X |
| (=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA)))) |
Merge.kif 11332-11339 | 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 14349-14354 | 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 14391-14396 | 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 532-537 | 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 3958-3966 | 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 14571-14576 | 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 19426-19431 | 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 19546-19551 | 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 19611-19618 | 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 29547-29556 | 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 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|