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 14274-14275
(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
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg")	pictureList.kif 9807-9807
(subclass WaterArea GeographicArea)	Merge.kif 14273-14273	Water area is a subclass of geographic area

appearance as argument number 2

(partition GeographicArea WaterArea LandArea)	Merge.kif 14185-14185	Geographic area is exhaustively partitioned into water area and land area
(subclass Anchorage WaterArea)	Transportation.kif 921-921	Anchorage is a subclass of water area
(subclass BodyOfWater WaterArea)	Geography.kif 4731-4731	Body of water is a subclass of water area
(subclass FreshWaterArea WaterArea)	Merge.kif 14291-14291	Fresh water area is a subclass of water area
(subclass Harbor WaterArea)	Transportation.kif 917-917	Harbor is a subclass of water area
(subclass HydropowerWaterArea WaterArea)	Geography.kif 2186-2186	Hydropower water area is a subclass of water area
(subclass InlandWaterSystem WaterArea)	Geography.kif 5644-5644	Inland water system is a subclass of water area
(subclass RiverMouth WaterArea)	Geography.kif 5958-5958	River mouth is a subclass of water area
(subclass RiverSystem WaterArea)	Geography.kif 5812-5812	River system is a subclass of water area
(subclass SaltWaterArea WaterArea)	Merge.kif 14286-14286	Salt water area is a subclass of water area
(subclass ShipBerth WaterArea)	Transportation.kif 3774-3774	Ship berth is a subclass of water area
(subclass StaticWaterArea WaterArea)	Mid-level-ontology.kif 10245-10245	Static water area is a subclass of water area
(subclass StreamWaterArea WaterArea)	Mid-level-ontology.kif 10238-10238	Stream water area is a subclass of water area
(subclass StreamWaterConfluence WaterArea)	Geography.kif 5787-5787	Stream water confluence is a subclass of water area
(subclass SurfZone WaterArea)	Weather.kif 2104-2104	Surf zone is a subclass of water area
(subclass WaterCurrent WaterArea)	Geography.kif 5186-5186	Water current is a subclass of water area
(subclass Waterway WaterArea)	Geography.kif 5880-5880	Waterway is a subclass of water area
(termFormat ChineseLanguage WaterArea "水域")	chinese_format.kif 950-950	Waterway is a subclass of water area
(termFormat EnglishLanguage WaterArea "water area")	english_format.kif 1107-1107	Waterway is a subclass of water area
(termFormat FrenchLanguage WaterArea "plan d'eau")	french_format.kif 626-626	Waterway is a subclass of water area
(termFormat Hindi WaterArea "jala kshetra")	terms-hindi.txt 157-157	Waterway is a subclass of water area
(termFormat ItalianLanguage WaterArea "SuperficieAcquatica")	terms-it.txt 160-160	Waterway is a subclass of water area
(termFormat JapaneseLanguage WaterArea "水域")	japanese_format.kif 2311-2311	Waterway is a subclass of water area
(termFormat PortugueseLanguage WaterArea "Area Aquatica")	portuguese_format.kif 578-578	Waterway is a subclass of water area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain ShorelineFn 2 WaterArea)	Geography.kif 6472-6472	The number 2 argument of shoreline is an instance of water area
(domain flowCurrent 2 WaterArea)	Geography.kif 5862-5862	The number 2 argument of flow current is an instance of water area
(domain navigableForDraft 1 WaterArea)	Transportation.kif 3177-3177	The number 1 argument of navigable for draft is an instance of water area
(domain navigableForShippingTonnage 1 WaterArea)	Transportation.kif 3160-3160	The number 1 argument of navigable for shipping tonnage is an instance of water area
(domain seaSurfaceTemperature 1 WaterArea)	Weather.kif 1210-1210	The number 1 argument of sea surface temperature is an instance of water area
(domain significantWaveHeight 1 WaterArea)	Weather.kif 2249-2249	The number 1 argument of significant wave height is an instance of water area
(domain streamOutfall 1 WaterArea)	Geography.kif 5990-5990	The number 1 argument of stream outfall is an instance of water area
(domain waterDepth 1 WaterArea)	Mid-level-ontology.kif 19117-19117	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 6429-6434	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 5864-5873	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 ?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 2303-2316	If a process is an instance of heavy zone and an object is an instance of water area and the process is located at the object, then there exist another process and an agent such that the other process is an instance of swimming and the agent is an instance of human and the agent is an agent of the other process and the other process is located at the object and the process is hazardous to the agent holds during the time of existence of the process
(=> (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 6455-6464	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 5683-5698	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 equal the other geographic area and 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 equal the object and the other geographic area and equal the object and 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 14277-14284	If an object is an instance of water area, then there exist another object, a hole and a third object such that equal the host of the hole the hole and the other object and the third object is an instance of water and the third object properly fills the hole and equal the union of the parts of the other object and the third object and the object

consequent

(=> (and (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation) (instance ?X TransportationCompany)) (exists (?SERVICE ?PLACE) (and (instance ?SERVICE WaterTransportationService) (serviceProvider ?SERVICE ?X) (eventLocated ?SERVICE ?PLACE) (instance ?PLACE WaterArea) (located ?X NorthAmerica))))	naics.kif 8120-8130	If deep sea coastal and great lakes water transportation is an attribute of a cognitive agent and the cognitive agent is an instance of transportation company, then there exist a service and an object such that the service is an instance of Water Transportation Service and the cognitive agent provides a service during the service and the service is located at the object and the object is an instance of water area and the cognitive agent is located at north america
(=> (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 3941-3949	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 another object such that the other object is an instance of water area and the process is located at the other object
(=> (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 6126-6140	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 equal the other self connected object and 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 11312-11319	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 5683-5698	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 equal the other geographic area and 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 equal the object and the other geographic area and equal the object and 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 (instance ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA ?U ?SWH) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (instance ?U UnitOfLength) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4.0 (StandardDeviationFn ?LIST))))))	Weather.kif 2256-2271	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area,, , an unit of measure and a real number such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the real number the unit of measure(s). and equal the real number and 4.0 and The StandardDeviationFn of the list
(=> (and (instance ?X WaterTransportationService) (serviceProvider ?X ?Y) (attribute ?Y CoastalAndGreatLakesFreightTransportation)) (exists (?FREIGHT ?SHIP ?WATER) (and (subProcess ?FREIGHT ?X) (instance ?FREIGHT WaterTransportation) (instrument ?FREIGHT ?SHIP) (instance ?SHIP CargoShip) (eventLocated ?FREIGHT ?WATER) (instance ?WATER WaterArea) (geographicSubregion ?WATER UnitedStates))))	naics.kif 8184-8197	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
(=> (and (instance ?X WaterTransportationService) (serviceProvider ?X ?Y) (attribute ?Y CoastalAndGreatLakesPassengerTransportation)) (exists (?CRUISE ?SHIP ?WATER) (and (subProcess ?CRUISE ?X) (instance ?CRUISE WaterTransportation) (instrument ?CRUISE ?SHIP) (instance ?SHIP PassengerShip) (eventLocated ?CRUISE ?WATER) (instance ?WATER WaterArea) (geographicSubregion ?WATER UnitedStates) (not (exists (?FERRY) (and (instance ?FERRY ShortSeaPassengerShip) (equal ?SHIP ?FERRY)))))))	naics.kif 8207-8225	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes passenger transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and equal the object and the entity
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea))	Transportation.kif 2462-2467	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 an object, then the object is an instance of water area
(=> (instance ?BANK ShoreArea) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?BANK ?WATER))))	Merge.kif 14327-14332	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 5902-5908	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 5625-5631	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 6114-6119	If an object is an instance of cape, then there exists another object such that the other object is an instance of water area and the object penetrates the other object
(=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER))))	Geography.kif 5920-5925	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 741-747	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 5523-5528	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 14369-14374	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 Shoal) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?LAND ?WATER))))	Geography.kif 6216-6221	If an object is an instance of shoal, 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 6375-6382	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 6441-6446	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 529-534	If a process is an instance of wading, then there exists an object such that the object is an instance of water area and the process is located at the object
(=> (instance ?Peninsula Peninsula) (exists (?Water) (and (instance ?Water WaterArea) (penetrates ?Peninsula ?Water))))	Geography.kif 6103-6108	If an object is an instance of peninsula, then there exists another object such that the other object is an instance of water area and the object penetrates the other object
(=> (instance ?R UnderwaterRegion) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?R ?WATER Below))))	Mid-level-ontology.kif 19229-19234	If an object is an instance of under water, 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
(=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near))))	Geography.kif 6245-6250	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

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

KB Term:			Term intersection

English Word: