WaterArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WaterArea ChineseLanguage "一处主要由水组成的地区，例如：河流、湖泊和海洋等等。")	Merge.kif 18505-18505
(documentation WaterArea EnglishLanguage "A body which is made up predominantly of water, e.g. rivers, lakes, oceans, etc.")	Merge.kif 18503-18504
(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 水域 and "http://upload.wikimedia.org/wikipedia/commons/3/32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg"
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg")	pictureList.kif 9826-9826	externalImage 水域 and "http://upload.wikimedia.org/wikipedia/commons/7/76/ Bay_of_Fundy_High_Tide.jpg"
(subclass WaterArea GeographicArea)	Merge.kif 18502-18502	水域は地理的地域の subclass では %n

appearance as argument number 2

(partition GeographicArea WaterArea LandArea)	Merge.kif 18401-18401	地理的地域は水域 + 土地面積に exhaustively partitioned %n
(subclass Anchorage WaterArea)	Transportation.kif 895-895	Anchorage は水域の subclass では %n
(subclass BodyOfWater WaterArea)	Geography.kif 4234-4234	BodyOfWater は水域の subclass では %n
(subclass FreshWaterArea WaterArea)	Merge.kif 18523-18523	淡水地域は水域の subclass では %n
(subclass Harbor WaterArea)	Transportation.kif 891-891	Harbor は水域の subclass では %n
(subclass HydropowerWaterArea WaterArea)	Geography.kif 1966-1966	HydropowerWaterArea は水域の subclass では %n
(subclass InlandWaterSystem WaterArea)	Geography.kif 5005-5005	InlandWaterSystem は水域の subclass では %n
(subclass RiverMouth WaterArea)	Geography.kif 5316-5316	RiverMouth は水域の subclass では %n
(subclass RiverSystem WaterArea)	Geography.kif 5171-5171	RiverSystem は水域の subclass では %n
(subclass SaltWaterArea WaterArea)	Merge.kif 18516-18516	塩水地域は水域の subclass では %n
(subclass ShipBerth WaterArea)	Transportation.kif 2881-2881	ShipBerth は水域の subclass では %n
(subclass StaticWaterArea WaterArea)	Mid-level-ontology.kif 8759-8759	静水域は水域の subclass では %n
(subclass StreamWaterArea WaterArea)	Mid-level-ontology.kif 8752-8752	河川水域は水域の subclass では %n
(subclass StreamWaterConfluence WaterArea)	Geography.kif 5147-5147	StreamWaterConfluence は水域の subclass では %n
(subclass WaterCurrent WaterArea)	Geography.kif 4604-4604	WaterCurrent は水域の subclass では %n
(subclass Waterway WaterArea)	Geography.kif 5239-5239	Waterway は水域の subclass では %n
(termFormat ChineseLanguage WaterArea "水域")	chinese_format.kif 950-950	termFormat ChineseLanguage, 水域 and "水域"
(termFormat EnglishLanguage WaterArea "water area")	english_format.kif 1548-1548	termFormat EnglishLanguage, 水域 and "water area"
(termFormat JapaneseLanguage WaterArea "水域")	english_format.kif 1549-1549	termFormat JapaneseLanguage, 水域 and "水域"

appearance as argument number 3

(domain ShorelineFn 2 WaterArea)	Geography.kif 5750-5750	ShorelineFn の数値 2 引数は水域の instance では %n
(domain flowCurrent 2 WaterArea)	Geography.kif 5221-5221	flowCurrent の数値 2 引数は水域の instance では %n
(domain navigableForDraft 1 WaterArea)	Transportation.kif 2587-2587	navigableForDraft の数値 1 引数は水域の instance では %n
(domain navigableForShippingTonnage 1 WaterArea)	Transportation.kif 2570-2570	navigableForShippingTonnage の数値 1 引数は水域の instance では %n
(domain seaSurfaceTemperature 1 WaterArea)	Weather.kif 587-587	seaSurfaceTemperature の数値 1 引数は水域の instance では %n
(domain streamOutfall 1 WaterArea)	Geography.kif 5348-5348	streamOutfall の数値 1 引数は水域の instance では %n
(domain waterDepth 1 WaterArea)	Mid-level-ontology.kif 15124-15124	waterDepth の数値 1 引数は水域の instance では %n

antecedent

(=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea))	Geography.kif 5707-5712	オブジェクトは Seacoast の instance では %n オブジェクトは水域の instance では %n オブジェクトは Adjacent 対オブジェクトでは %n オブジェクトは塩水地域の instance では %n
(=> (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 5223-5232	水域は Waterfall の instance では %n WaterMotion は WaterMotion の instance では %n flowCurrent WaterMotion and 水域 WaterMotion はオブジェクトから originates %n{ない} WaterMotion はオブジェクトに ends %n{ない} オブジェクトは水域の instance では %n オブジェクトは水域の instance では %n オブジェクトは Above 対オブジェクトでは %n
(=> (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 5733-5742	オブジェクトは ShoreArea の instance では %n オブジェクトは水域の instance では %n オブジェクトは Adjacent 対オブジェクトでは %n オブジェクトオブジェクトは Shoreline の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトと meets %n{ない}
(=> (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 5044-5059	地理的地域は InlandWaterSystem の instance では %n 地理的地域は水域の instance では %n 地理的地域は水域の instance では %n 地理的地域は地理的地域と equal では地理的地域は地理的地域と connected して geographicSubregion 地理的地域 and 地理的地域 geographicSubregion 地理的地域 and 地理的地域オブジェクトオブジェクトは水域の instance では %n オブジェクトは地理的地域と equal ではオブジェクトは地理的地域と equal ではオブジェクトは地理的地域の part では %n オブジェクトは地理的地域と地理的地域に connects %n{ない}
(=> (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 18507-18514	オブジェクトは水域の instance では %n オブジェクトホール and オブジェクトホールホールの host はオブジェクトと equal では %n オブジェクトは水の instance では %n オブジェクトはホールを properly fills %n{ない} オブジェクトとオブジェクトの union はオブジェクトと equal では %n

consequent

(=> (and (instance ?ASO AntiSurfaceOperation) (patient ?ASO ?TARGET) (holdsDuring (WhenFn ?ASO) (located ?TARGET ?LOCATION))) (instance ?LOCATION WaterArea))	MilitaryProcesses.kif 654-660	工程は AntiSurfaceOperation の instance では %n エンティティーは工程の patient では %n エンティティーはエンティティーに located して %n は工程の time の existence の during holds %n{ない} エンティティーは水域の instance では %n
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER))))	Mid-level-ontology.kif 4034-4042	オブジェクトは WaterVehicle の instance では %n 工程は交通手段の instance では %n オブジェクトは工程の instrument では %n エンティティーエンティティーは水域の instance では %n eventLocated 工程 and エンティティー
(=> (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 5484-5498	自己接続オブジェクトは Isthmus の instance では %n 自己接続オブジェクトの side は自己接続オブジェクトでは自己接続オブジェクトの side は自己接続オブジェクトでは自己接続オブジェクトは自己接続オブジェクトと equal ではオブジェクトオブジェクト, オブジェクト and オブジェクトオブジェクトは土地面積の instance では %n オブジェクトは土地面積の instance では %n 自己接続オブジェクトはオブジェクトとオブジェクトの between では %n オブジェクトは水域の instance では %n オブジェクトは水域の instance では %n 自己接続オブジェクトはオブジェクトと meets %n{ない} 自己接続オブジェクトはオブジェクトと meets %n{ない}
(=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA))))	Merge.kif 15275-15282	工程は水泳の instance では %n 代理(人) は工程の agent では %n オブジェクトオブジェクトは水域の instance では %n 代理(人) はオブジェクトに located して %n
(=> (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 5044-5059	地理的地域は InlandWaterSystem の instance では %n 地理的地域は水域の instance では %n 地理的地域は水域の instance では %n 地理的地域は地理的地域と equal では地理的地域は地理的地域と connected して geographicSubregion 地理的地域 and 地理的地域 geographicSubregion 地理的地域 and 地理的地域オブジェクトオブジェクトは水域の instance では %n オブジェクトは地理的地域と equal ではオブジェクトは地理的地域と equal ではオブジェクトは地理的地域の part では %n オブジェクトは地理的地域と地理的地域に connects %n{ない}
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea))	Transportation.kif 2248-2253	輸送機は WaterVehicle の subclass では %n 工程は TransportationFn 輸送機の instance では %n eventLocated 工程 and エンティティーエンティティーは水域の instance では %n
(=> (instance ?BANK ShoreArea) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?BANK ?WATER))))	Merge.kif 18566-18571	オブジェクトは ShoreArea の instance では %n オブジェクトオブジェクトは水域の instance では %n オブジェクトはオブジェクトと meets %n{ない}
(=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 5260-5266	オブジェクトは Canal の instance では %n オブジェクトオブジェクトオブジェクトは水域の instance では %n オブジェクトは水域の instance では %n オブジェクトはオブジェクトとオブジェクトに connects %n{ない}
(=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 4986-4992	オブジェクトは Channel の instance では %n オブジェクトオブジェクトオブジェクトは水域の instance では %n オブジェクトは水域の instance では %n オブジェクトはオブジェクトとオブジェクトに connects %n{ない}
(=> (instance ?Cape Cape) (exists (?WaterRegion) (and (instance ?WaterRegion WaterArea) (penetrates ?Cape ?WaterRegion))))	Geography.kif 5472-5477	オブジェクトは Cape の instance では %n エンティティーエンティティーは水域の instance では %n オブジェクトはエンティティーを penetrates %n{ない}
(=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?River))))	Geography.kif 5278-5283	オブジェクトは Dam の instance では %n エンティティーエンティティーは水域の instance では %n オブジェクトはオブジェクトを traverses %n{ない}
(=> (instance ?EXCLUSIVELANDAREA SurfaceGroundArea) (not (exists (?WATERAREA) (and (instance ?WATERAREA WaterArea) (part ?WATERAREA ?EXCLUSIVELANDAREA)))))	Geography.kif 575-581	オブジェクトは SurfaceGroundArea の instance では %n オブジェクトオブジェクトは水域の instance では %n オブジェクトはオブジェクトの part では %n
(=> (instance ?INLET Inlet) (exists (?WATER) (and (instance ?WATER WaterArea) (connected ?INLET ?WATER))))	Geography.kif 4896-4901	オブジェクトは Inlet の instance では %n オブジェクトオブジェクトは水域の instance では %n オブジェクトはオブジェクトと connected して
(=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER))))	Merge.kif 18613-18618	オブジェクトは島の instance では %n オブジェクトオブジェクトは水域の instance では %n オブジェクトはオブジェクトと meets %n{ない}
(=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER))))	Geography.kif 5653-5660	オブジェクトは SubmergedLandArea の instance では %n オブジェクトオブジェクトは水域の instance では %n オブジェクトは Below 対オブジェクトでは %n オブジェクトは On 対オブジェクトでは %n オブジェクトはオブジェクトと meets %n{ない}
(=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE))))	Geography.kif 5719-5724	オブジェクトは Shoreline の instance では %n オブジェクトオブジェクトは水域の instance では %n オブジェクトはオブジェクトと meets %n{ない}
(=> (instance ?P Wading) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?P ?W))))	Mid-level-ontology.kif 714-719	工程は Wading の instance では %n エンティティーエンティティーは水域の instance では %n eventLocated 工程 and エンティティー
(=> (instance ?Peninsula Peninsula) (exists (?Water) (and (instance ?Water WaterArea) (penetrates ?Peninsula ?Water))))	Geography.kif 5461-5466	オブジェクトは Peninsula の instance では %n エンティティーエンティティーは水域の instance では %n オブジェクトはエンティティーを penetrates %n{ない}
(=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near))))	Geography.kif 5529-5534	オブジェクトは Reef の instance では %n オブジェクトオブジェクトは水域の instance では %n オブジェクトは Near 対オブジェクトでは %n
(=> (instance ?S Sinking) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?S ?W))))	Mid-level-ontology.kif 10714-10719	工程は Sinking の instance では %n エンティティーエンティティーは水域の instance では %n eventLocated 工程 and エンティティー
(=> (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 25077-25086	オブジェクトは ScubaDiving の instance では %n オブジェクトオブジェクト and 工程オブジェクトは水域の instance では %n オブジェクトは Below 対オブジェクトでは %n オブジェクトはデバイスの instance では %n 工程は呼吸の instance では %n オブジェクトは工程の instrument では %n 工程はオブジェクト% の subprocess では %n
(=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA))))	Geography.kif 4458-4464	オブジェクトは Sea の instance では %n オブジェクトオブジェクトオブジェクトは Ocean の instance では %n オブジェクトは水域の instance では %n オブジェクトはオブジェクトとオブジェクトに connects %n{ない}
(=> (instance ?SKI WaterSki) (hasPurpose ?SKI (exists (?GLIDE ?WATER) (and (instance ?WATER WaterArea) (instance ?GLIDE Transportation) (instrument ?GLIDE ?SKI) (eventLocated ?GLIDE ?WATER)))))	Sports.kif 1080-1088	物理は WaterSki の instance では %n 物理はエンティティーエンティティーエンティティーは水域の instance では %n エンティティーは交通手段の instance では %n 物理はエンティティーの instrument では %n eventLocated エンティティー and エンティティーの目的 %n{ない}
(=> (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	工程は WaterTransportation の instance では %n オブジェクトエンティティーオブジェクトは WaterVehicle の instance では %n エンティティーは水域の instance では %n オブジェクトは工程の instrument では %n eventLocated 工程 and エンティティー
(=> (instance ?WAVE WaterWave) (exists (?AREA) (and (instance ?AREA WaterArea) (eventLocated ?WAVE ?AREA))))	Mid-level-ontology.kif 15116-15121	工程は WaterWave の instance では %n エンティティーエンティティーは水域の instance では %n eventLocated 工程 and エンティティー

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: