TreeView 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 14091-14092
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg")	pictureList.kif 8790-8790
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg")	pictureList.kif 9808-9808
(subclass WaterArea GeographicArea)	Merge.kif 14090-14090	Water area is a subclass of geographic area

appearance as argument number 2

(partition GeographicArea WaterArea LandArea)	Merge.kif 14002-14002	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 4469-4469	Body of water is a subclass of water area
(subclass FreshWaterArea WaterArea)	Merge.kif 14108-14108	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 2028-2028	Hydropower water area is a subclass of water area
(subclass InlandWaterSystem WaterArea)	Geography.kif 5319-5319	Inland water system is a subclass of water area
(subclass RiverMouth WaterArea)	Geography.kif 5633-5633	River mouth is a subclass of water area
(subclass RiverSystem WaterArea)	Geography.kif 5487-5487	River system is a subclass of water area
(subclass SaltWaterArea WaterArea)	Merge.kif 14103-14103	Salt water area is a subclass of water area
(subclass ShipBerth WaterArea)	Transportation.kif 2937-2937	Ship berth is a subclass of water area
(subclass StaticWaterArea WaterArea)	Mid-level-ontology.kif 9011-9011	Static water area is a subclass of water area
(subclass StreamWaterArea WaterArea)	Mid-level-ontology.kif 9004-9004	Stream water area is a subclass of water area
(subclass StreamWaterConfluence WaterArea)	Geography.kif 5462-5462	Stream water confluence is a subclass of water area
(subclass SurfZone WaterArea)	Weather.kif 1378-1378	Surf zone is a subclass of water area
(subclass WaterCurrent WaterArea)	Geography.kif 4910-4910	Water current is a subclass of water area
(subclass Waterway WaterArea)	Geography.kif 5555-5555	Waterway is a subclass of water area
(termFormat ChineseLanguage WaterArea "水域")	chinese_format.kif 950-950
(termFormat EnglishLanguage WaterArea "water area")	english_format.kif 1107-1107
(termFormat FrenchLanguage WaterArea "plan d'eau")	french_format.kif 626-626
(termFormat Hindi WaterArea "jala kshetra")	terms-hindi.txt 157-157
(termFormat ItalianLanguage WaterArea "SuperficieAcquatica")	terms-it.txt 160-160
(termFormat JapaneseLanguage WaterArea "水域")	japanese_format.kif 2311-2311
(termFormat PortugueseLanguage WaterArea "Area Aquatica")	portuguese_format.kif 578-578

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 6147-6147	The number 2 argument of shoreline is an instance of water area
(domain flowCurrent 2 WaterArea)	Geography.kif 5537-5537	The number 2 argument of flow current is an instance of water area
(domain navigableForDraft 1 WaterArea)	Transportation.kif 2646-2646	The number 1 argument of navigable for draft is an instance of water area
(domain navigableForShippingTonnage 1 WaterArea)	Transportation.kif 2629-2629	The number 1 argument of navigable for shipping tonnage is an instance of water area
(domain seaSurfaceTemperature 1 WaterArea)	Weather.kif 975-975	The number 1 argument of sea surface temperature is an instance of water area
(domain significantWaveHeight 1 WaterArea)	Weather.kif 1524-1524	The number 1 argument of significant wave height is an instance of water area
(domain streamOutfall 1 WaterArea)	Geography.kif 5665-5665	The number 1 argument of stream outfall is an instance of water area
(domain waterDepth 1 WaterArea)	Mid-level-ontology.kif 17538-17538	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 6104-6109	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 5539-5548	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 1579-1592	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 6130-6139	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 5358-5373	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 14094-14101	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 (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 3470-3478	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 5801-5815	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 11158-11165	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 5358-5373	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 (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 1532-1547	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 the real number is equal to 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 the object is equal to the entity
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea))	Transportation.kif 2287-2292	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 14144-14149	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 5577-5583	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 5300-5306	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 5789-5794	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 5595-5600	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 571-577	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 5210-5215	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 14186-14191	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 5891-5896	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 6050-6057	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 6116-6121	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 536-541	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 5778-5783	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 ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near))))	Geography.kif 5920-5925	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 13083-13088	If a process is an instance of sinking, then there exists an object such that the object is an instance of water area and the process is located at the object

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: