WaterArea(水域)![]() ![]() | ![]() |
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 13980-13981 | |
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg") | pictureList.kif 8791-8791 | |
(externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg") | pictureList.kif 9816-9816 | |
(subclass WaterArea GeographicArea) | Merge.kif 13979-13979 | 水域 是 地理区域 的 subclass |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain ShorelineFn 2 WaterArea) | Geography.kif 6077-6077 | 海岸线 的 2 数量 是 水域 的 instance |
(domain flowCurrent 2 WaterArea) | Geography.kif 5468-5468 | 流动电流 的 2 数量 是 水域 的 instance |
(domain navigableForDraft 1 WaterArea) | Transportation.kif 2646-2646 | 可通航草案 的 1 数量 是 水域 的 instance |
(domain navigableForShippingTonnage 1 WaterArea) | Transportation.kif 2629-2629 | 可通航航运吨位 的 1 数量 是 水域 的 instance |
(domain seaSurfaceTemperature 1 WaterArea) | Weather.kif 975-975 | 海面温度 的 1 数量 是 水域 的 instance |
(domain significantWaveHeight 1 WaterArea) | Weather.kif 1524-1524 | 有效波高 的 1 数量 是 水域 的 instance |
(domain streamOutfall 1 WaterArea) | Geography.kif 5595-5595 | 流出口 的 1 数量 是 水域 的 instance |
(domain waterDepth 1 WaterArea) | Mid-level-ontology.kif 17409-17409 | 水深 的 1 数量 是 水域 的 instance |
antecedent |
![]() |
(=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 6034-6039 | |
(=> (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 5470-5479 | |
(=> (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 | |
(=> (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 6060-6069 | |
(=> (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 5289-5304 |
|
(=> (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 13983-13990 |
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 | |
(=> (and (instance ?ASO AntiSurfaceOperation) (patient ?ASO ?TARGET) (holdsDuring (WhenFn ?ASO) (located ?TARGET ?LOCATION))) (instance ?LOCATION WaterArea)) |
MilitaryProcesses.kif 665-671 | |
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER)))) |
Mid-level-ontology.kif 3463-3471 | |
(=> (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 5731-5745 |
|
(=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA)))) |
Merge.kif 11108-11115 | |
(=> (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 5289-5304 |
|
(=> (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 | |
(=> (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 |
|
(=> (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 |
|
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea)) |
Transportation.kif 2287-2292 | |
(=> (instance ?BANK ShoreArea) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?BANK ?WATER)))) |
Merge.kif 14033-14038 | |
(=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5507-5513 | |
(=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5231-5237 | |
(=> (instance ?Cape Cape) (exists (?WaterRegion) (and (instance ?WaterRegion WaterArea) (penetrates ?Cape ?WaterRegion)))) |
Geography.kif 5719-5724 | |
(=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER)))) |
Geography.kif 5525-5530 | |
(=> (instance ?EXCLUSIVELANDAREA SurfaceGroundArea) (not (exists (?WATERAREA) (and (instance ?WATERAREA WaterArea) (part ?WATERAREA ?EXCLUSIVELANDAREA))))) |
Geography.kif 578-584 | |
(=> (instance ?INLET Inlet) (exists (?WATER) (and (instance ?WATER WaterArea) (connected ?INLET ?WATER)))) |
Geography.kif 5141-5146 | |
(=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER)))) |
Merge.kif 14075-14080 | |
(=> (instance ?LAND Shoal) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 5821-5826 | |
(=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 5980-5987 | |
(=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE)))) |
Geography.kif 6046-6051 | |
(=> (instance ?P Wading) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?P ?W)))) |
Mid-level-ontology.kif 531-536 | |
(=> (instance ?Peninsula Peninsula) (exists (?Water) (and (instance ?Water WaterArea) (penetrates ?Peninsula ?Water)))) |
Geography.kif 5708-5713 | |
(=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near)))) |
Geography.kif 5850-5855 | |
(=> (instance ?S Sinking) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?S ?W)))) |
Mid-level-ontology.kif 12959-12964 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |