WaterArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WaterArea ChineseLanguage "一处主要由水组成的地区，例如：河流、湖泊和海洋等等。")	chinese_format.kif 1448-1448
(documentation WaterArea EnglishLanguage "A body which is made up predominantly of water, e.g. rivers, lakes, oceans, etc.")	Merge.kif 13073-13074
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg")	pictureList.kif 8795-8795
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg")	pictureList.kif 9826-9826
(subclass WaterArea GeographicArea)	Merge.kif 13072-13072	Water area is a subclass of geographic area

appearance as argument number 2

(partition GeographicArea WaterArea LandArea)	Merge.kif 12984-12984	Geographic area is exhaustively partitioned into water area and land area
(subclass Anchorage WaterArea)	Transportation.kif 910-910	Anchorage is a subclass of water area
(subclass BodyOfWater WaterArea)	Geography.kif 4247-4247	Body of water is a subclass of water area
(subclass FreshWaterArea WaterArea)	Merge.kif 13090-13090	Fresh water area is a subclass of water area
(subclass Harbor WaterArea)	Transportation.kif 906-906	Harbor is a subclass of water area
(subclass HydropowerWaterArea WaterArea)	Geography.kif 1978-1978	Hydropower water area is a subclass of water area
(subclass InlandWaterSystem WaterArea)	Geography.kif 5019-5019	Inland water system is a subclass of water area
(subclass RiverMouth WaterArea)	Geography.kif 5331-5331	River mouth is a subclass of water area
(subclass RiverSystem WaterArea)	Geography.kif 5186-5186	River system is a subclass of water area
(subclass SaltWaterArea WaterArea)	Merge.kif 13085-13085	Salt water area is a subclass of water area
(subclass ShipBerth WaterArea)	Transportation.kif 2915-2915	Ship berth is a subclass of water area
(subclass StaticWaterArea WaterArea)	Mid-level-ontology.kif 8761-8761	Static water area is a subclass of water area
(subclass StreamWaterArea WaterArea)	Mid-level-ontology.kif 8754-8754	Stream water area is a subclass of water area
(subclass StreamWaterConfluence WaterArea)	Geography.kif 5161-5161	Stream water confluence is a subclass of water area
(subclass WaterCurrent WaterArea)	Geography.kif 4618-4618	Water current is a subclass of water area
(subclass Waterway WaterArea)	Geography.kif 5254-5254	Waterway is a subclass of water area
(termFormat ChineseLanguage WaterArea "水域")	chinese_format.kif 950-950
(termFormat EnglishLanguage WaterArea "water area")	english_format.kif 1112-1112

appearance as argument number 3

(domain ShorelineFn 2 WaterArea)	Geography.kif 5765-5765	The number 2 argument of shoreline is an instance of water area
(domain flowCurrent 2 WaterArea)	Geography.kif 5236-5236	The number 2 argument of flow current is an instance of water area
(domain navigableForDraft 1 WaterArea)	Transportation.kif 2624-2624	The number 1 argument of navigable for draft is an instance of water area
(domain navigableForShippingTonnage 1 WaterArea)	Transportation.kif 2607-2607	The number 1 argument of navigable for shipping tonnage is an instance of water area
(domain seaSurfaceTemperature 1 WaterArea)	Weather.kif 586-586	The number 1 argument of sea surface temperature is an instance of water area
(domain streamOutfall 1 WaterArea)	Geography.kif 5363-5363	The number 1 argument of stream outfall is an instance of water area
(domain waterDepth 1 WaterArea)	Mid-level-ontology.kif 15124-15124	The number 1 argument of water depth is an instance of water area

antecedent

(=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea))	Geography.kif 5722-5727	If an object is an instance of seacoast and another object is an instance of water area and the other object is adjacent to the object, then the other object is an instance of salt water area
(=> (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 5238-5247	If a water area is an instance of waterfall and a water motion is an instance of water motion and the water area is a flow current of the water motion and the water motion originates at an object and the water motion ends up at another object and the object is an instance of water area and the other object is an instance of water area, then the object is above to the other object
(=> (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 5748-5757	If an object is an instance of shore area and another object is an instance of water area and the object is adjacent to the other object, then there exists a third object such that the third object is an instance of shoreline and the third object is a part of the object and the third object meets the other object
(=> (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 5058-5073	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
(=> (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 13076-13083	If an object is an instance of water area, then there exist another object, a hole and a third object such that the host of the hole the hole is equal to the other object and the third object is an instance of water and the third object properly fills the hole and the union of the parts of the other object and the third object is equal to the object

consequent

(=> (and (instance ?ASO AntiSurfaceOperation) (patient ?ASO ?TARGET) (holdsDuring (WhenFn ?ASO) (located ?TARGET ?LOCATION))) (instance ?LOCATION WaterArea))	MilitaryProcesses.kif 665-671	If a process is an instance of anti surface operation and an entity is a patient of the process and the entity is located at another entity holds during the time of existence of the process, then the other entity is an instance of water area
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER))))	Mid-level-ontology.kif 4030-4038	If an object is an instance of water vehicle and a process is an instance of transportation and the object is an instrument for the process, then there exists an entity such that the entity is an instance of water area and the process is located at 2
(=> (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 5499-5513	If a self connected object is an instance of isthmus and a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and the other self connected object is not equal to the third self connected object, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of land area and the other object is an instance of land area and the self connected object is between the object and the other object and the third object is an instance of water area and the fourth object is an instance of water area and the other self connected object meets the third object and the third self connected object meets the fourth object
(=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA))))	Merge.kif 10412-10419	If a process is an instance of swimming and an agent is an agent of the process, then there exists an object such that the object is an instance of water area and the agent is located at the object
(=> (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 5058-5073	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea))	Transportation.kif 2276-2281	If a kind of transportation device is a subclass of water vehicle and a process is an instance of the transportation of a kind of transportation device and the process is located at 2, then an entity is an instance of water area
(=> (instance ?BANK ShoreArea) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?BANK ?WATER))))	Merge.kif 13126-13131	If an object is an instance of shore area, then there exists another object such that the other object is an instance of water area and the object meets the other object
(=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 5275-5281	If an object is an instance of canal, then there exist another object and a third object such that the other object is an instance of water area and the third object is an instance of water area and the object connects the other object and the third object
(=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 5000-5006	If an object is an instance of channel, then there exist another object and a third object such that the other object is an instance of water area and the third object is an instance of water area and the object connects the other object and the third object
(=> (instance ?Cape Cape) (exists (?WaterRegion) (and (instance ?WaterRegion WaterArea) (penetrates ?Cape ?WaterRegion))))	Geography.kif 5487-5492	If an object is an instance of cape, then there exists an entity such that the entity is an instance of water area and the object penetrates the entity
(=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER))))	Geography.kif 5293-5298	If an object is an instance of dam, then there exists another object such that the other object is an instance of water area and the object traverses the other object
(=> (instance ?EXCLUSIVELANDAREA SurfaceGroundArea) (not (exists (?WATERAREA) (and (instance ?WATERAREA WaterArea) (part ?WATERAREA ?EXCLUSIVELANDAREA)))))	Geography.kif 578-584	If an object is an instance of surface ground area, then there doesn't exist another object such that the other object is an instance of water area and the other object is a part of the object
(=> (instance ?INLET Inlet) (exists (?WATER) (and (instance ?WATER WaterArea) (connected ?INLET ?WATER))))	Geography.kif 4910-4915	If an object is an instance of inlet, then there exists another object such that the other object is an instance of water area and the object is connected to the other object
(=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER))))	Merge.kif 13168-13173	If an object is an instance of island, then there exists another object such that the other object is an instance of water area and the object meets the other object
(=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER))))	Geography.kif 5668-5675	If an object is an instance of submerged land area, then there exists another object such that the other object is an instance of water area and the object is below to the other object and the other object is on to the object and the object meets the other object
(=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE))))	Geography.kif 5734-5739	If an object is an instance of shoreline, then there exists another object such that the other object is an instance of water area and the other object meets the object
(=> (instance ?P Wading) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?P ?W))))	Mid-level-ontology.kif 713-718	If a process is an instance of wading, then there exists an entity such that the entity is an instance of water area and the process is located at 2
(=> (instance ?Peninsula Peninsula) (exists (?Water) (and (instance ?Water WaterArea) (penetrates ?Peninsula ?Water))))	Geography.kif 5476-5481	If an object is an instance of peninsula, then there exists an entity such that the entity is an instance of water area and the object penetrates the entity
(=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near))))	Geography.kif 5544-5549	If an object is an instance of reef, then there exists another object such that the other object is an instance of water area and the object is near to the other object
(=> (instance ?S Sinking) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?S ?W))))	Mid-level-ontology.kif 10719-10724	If a process is an instance of sinking, then there exists an entity such that the entity is an instance of water area and the process is located at 2
(=> (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 25089-25098	If an object is an instance of scuba diving, then there exist another object, a third object and a process such that the other object is an instance of water area and the object is below to the other object and the third object is an instance of device and the process is an instance of breathing and the third object is an instrument for the process and the process is a subprocess of the object
(=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA))))	Geography.kif 4472-4478	If an object is an instance of sea, then there exist another object and a third object such that the other object is an instance of ocean and the third object is an instance of water area and the third object connects the other object and the object
(=> (instance ?SKI WaterSki) (hasPurpose ?SKI (exists (?GLIDE ?WATER) (and (instance ?WATER WaterArea) (instance ?GLIDE Transportation) (instrument ?GLIDE ?SKI) (eventLocated ?GLIDE ?WATER)))))	Sports.kif 1082-1090	If a physical is an instance of water ski, then the physical purpose there exist an entity and another entity such that the other entity is an instance of water area and the entity is an instance of transportation and the physical is an instrument for the entity and the entity is located at 2
(=> (instance ?TRANSPORT WaterTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT WaterVehicle) (instance ?AREA WaterArea) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?AREA))))	Mid-level-ontology.kif 15335-15342	If a process is an instance of water transportation, then there exist an object and an entity such that the object is an instance of water vehicle and the entity is an instance of water area and the object is an instrument for the process and the process is located at 2
(=> (instance ?WAVE WaterWave) (exists (?AREA) (and (instance ?AREA WaterArea) (eventLocated ?WAVE ?AREA))))	Mid-level-ontology.kif 15116-15121	If a process is an instance of water wave, then there exists an entity such that the entity is an instance of water area and the process is located at 2

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: