| 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 14121-14122 | |
| (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 14120-14120 | 水域 是 地理区域 的 subclass |
| appearance as argument number 2 |
|
|
| (partition GeographicArea WaterArea LandArea) | Merge.kif 14032-14032 | 地理区域 详尽无遗地 partition 成 水域 和 土地面积 |
| (subclass Anchorage WaterArea) | Transportation.kif 921-921 | 锚地 是 水域 的 subclass |
| (subclass BodyOfWater WaterArea) | Geography.kif 4491-4491 | 水体 是 水域 的 subclass |
| (subclass FreshWaterArea WaterArea) | Merge.kif 14138-14138 | 淡水区 是 水域 的 subclass |
| (subclass Harbor WaterArea) | Transportation.kif 917-917 | 港口 是 水域 的 subclass |
| (subclass HydropowerWaterArea WaterArea) | Geography.kif 2028-2028 | 水电水域 是 水域 的 subclass |
| (subclass InlandWaterSystem WaterArea) | Geography.kif 5341-5341 | 内陆水系统 是 水域 的 subclass |
| (subclass RiverMouth WaterArea) | Geography.kif 5655-5655 | 河口 是 水域 的 subclass |
| (subclass RiverSystem WaterArea) | Geography.kif 5509-5509 | 河流系统 是 水域 的 subclass |
| (subclass SaltWaterArea WaterArea) | Merge.kif 14133-14133 | 盐水区 是 水域 的 subclass |
| (subclass ShipBerth WaterArea) | Transportation.kif 2937-2937 | 船泊位 是 水域 的 subclass |
| (subclass StaticWaterArea WaterArea) | Mid-level-ontology.kif 9039-9039 | 静水区 是 水域 的 subclass |
| (subclass StreamWaterArea WaterArea) | Mid-level-ontology.kif 9032-9032 | 溪水区 是 水域 的 subclass |
| (subclass StreamWaterConfluence WaterArea) | Geography.kif 5484-5484 | 流水汇流 是 水域 的 subclass |
| (subclass SurfZone WaterArea) | Weather.kif 1378-1378 | 碎波带 是 水域 的 subclass |
| (subclass WaterCurrent WaterArea) | Geography.kif 4932-4932 | 水流 是 水域 的 subclass |
| (subclass Waterway WaterArea) | Geography.kif 5577-5577 | 水路 是 水域 的 subclass |
| (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 6169-6169 | 海岸线 的 2 数量 是 水域 的 instance |
| (domain flowCurrent 2 WaterArea) | Geography.kif 5559-5559 | 流动电流 的 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 5687-5687 | 流出口 的 1 数量 是 水域 的 instance |
| (domain waterDepth 1 WaterArea) | Mid-level-ontology.kif 17566-17566 | 水深 的 1 数量 是 水域 的 instance |
| antecedent |
|
|
| (=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 6126-6131 | |
| (=> (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 5561-5570 | |
| (=> (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 6152-6161 | |
| (=> (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 5380-5395 |
|
| (=> (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 14124-14131 |
| 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 3498-3506 | |
| (=> (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 5823-5837 |
|
| (=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA)))) |
Merge.kif 11174-11181 | |
| (=> (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 5380-5395 |
|
| (=> (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 14174-14179 | |
| (=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5599-5605 | |
| (=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5322-5328 | |
| (=> (instance ?Cape Cape) (exists (?WaterRegion) (and (instance ?WaterRegion WaterArea) (penetrates ?Cape ?WaterRegion)))) |
Geography.kif 5811-5816 | |
| (=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER)))) |
Geography.kif 5617-5622 | |
| (=> (instance ?EXCLUSIVELANDAREA SurfaceGroundArea) (not (exists (?WATERAREA) (and (instance ?WATERAREA WaterArea) (part ?WATERAREA ?EXCLUSIVELANDAREA))))) |
Geography.kif 571-577 | |
| (=> (instance ?INLET Inlet) (exists (?WATER) (and (instance ?WATER WaterArea) (connected ?INLET ?WATER)))) |
Geography.kif 5232-5237 | |
| (=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER)))) |
Merge.kif 14216-14221 | |
| (=> (instance ?LAND Shoal) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 5913-5918 | |
| (=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 6072-6079 | |
| (=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE)))) |
Geography.kif 6138-6143 | |
| (=> (instance ?P Wading) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?P ?W)))) |
Mid-level-ontology.kif 536-541 | |
| (=> (instance ?Peninsula Peninsula) (exists (?Water) (and (instance ?Water WaterArea) (penetrates ?Peninsula ?Water)))) |
Geography.kif 5800-5805 | |
| (=> (instance ?R UnderwaterRegion) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?R ?WATER Below)))) |
Mid-level-ontology.kif 17678-17683 | |
| (=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near)))) |
Geography.kif 5942-5947 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|