| 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 13135-13136 | |
| (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 WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg") | pictureList.kif 9826-9826 | |
| (subclass WaterArea GeographicArea) | Merge.kif 13134-13134 |
| appearance as argument number 2 |
|
|
| (partition GeographicArea WaterArea LandArea) | Merge.kif 13046-13046 | |
| (subclass Anchorage WaterArea) | Transportation.kif 921-921 | |
| (subclass BodyOfWater WaterArea) | Geography.kif 4306-4306 | |
| (subclass FreshWaterArea WaterArea) | Merge.kif 13152-13152 | |
| (subclass Harbor WaterArea) | Transportation.kif 917-917 | |
| (subclass HydropowerWaterArea WaterArea) | Geography.kif 1999-1999 | |
| (subclass InlandWaterSystem WaterArea) | Geography.kif 5125-5125 | |
| (subclass RiverMouth WaterArea) | Geography.kif 5437-5437 | |
| (subclass RiverSystem WaterArea) | Geography.kif 5292-5292 | |
| (subclass SaltWaterArea WaterArea) | Merge.kif 13147-13147 | |
| (subclass ShipBerth WaterArea) | Transportation.kif 2944-2944 | |
| (subclass StaticWaterArea WaterArea) | Mid-level-ontology.kif 7884-7884 | |
| (subclass StreamWaterArea WaterArea) | Mid-level-ontology.kif 7877-7877 | |
| (subclass StreamWaterConfluence WaterArea) | Geography.kif 5267-5267 | |
| (subclass SurfZone WaterArea) | Weather.kif 1376-1376 | |
| (subclass WaterCurrent WaterArea) | Geography.kif 4718-4718 | |
| (subclass Waterway WaterArea) | Geography.kif 5360-5360 | |
| (termFormat ChineseLanguage WaterArea "水域") | chinese_format.kif 950-950 | |
| (termFormat EnglishLanguage WaterArea "water area") | english_format.kif 1112-1112 |
| appearance as argument number 3 |
|
|
| (domain ShorelineFn 2 WaterArea) | Geography.kif 5951-5951 | |
| (domain flowCurrent 2 WaterArea) | Geography.kif 5342-5342 | |
| (domain navigableForDraft 1 WaterArea) | Transportation.kif 2653-2653 | |
| (domain navigableForShippingTonnage 1 WaterArea) | Transportation.kif 2636-2636 | |
| (domain seaSurfaceTemperature 1 WaterArea) | Weather.kif 975-975 | |
| (domain significantWaveHeight 1 WaterArea) | Weather.kif 1523-1523 | |
| (domain streamOutfall 1 WaterArea) | Geography.kif 5469-5469 | |
| (domain waterDepth 1 WaterArea) | Mid-level-ontology.kif 14171-14171 |
| antecedent |
|
|
| (=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 5908-5913 | |
| (=> (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 5344-5353 | |
| (=> (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 1578-1591 | |
| (=> (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 5934-5943 | |
| (=> (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 5164-5179 | |
| (=> (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 13138-13145 |
| 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 8127-8137 | |
| (=> (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 3431-3439 | |
| (=> (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 5605-5619 | |
| (=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA)))) |
Merge.kif 10480-10487 | |
| (=> (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 5164-5179 | |
| (=> (and (instance ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA ?U) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (instance ?U LengthMeasure) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4 (StandardDeviationFn ?LIST)))))) |
Weather.kif 1531-1546 | |
| (=> (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 8191-8204 | |
| (=> (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 8214-8232 | |
| (=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea)) |
Transportation.kif 2294-2299 | |
| (=> (instance ?BANK ShoreArea) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?BANK ?WATER)))) |
Merge.kif 13188-13193 | |
| (=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5381-5387 | |
| (=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5106-5112 | |
| (=> (instance ?Cape Cape) (exists (?WaterRegion) (and (instance ?WaterRegion WaterArea) (penetrates ?Cape ?WaterRegion)))) |
Geography.kif 5593-5598 | |
| (=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER)))) |
Geography.kif 5399-5404 | |
| (=> (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 5016-5021 | |
| (=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER)))) |
Merge.kif 13230-13235 | |
| (=> (instance ?LAND Shoal) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 5695-5700 | |
| (=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 5854-5861 | |
| (=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE)))) |
Geography.kif 5920-5925 | |
| (=> (instance ?P Wading) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?P ?W)))) |
Mid-level-ontology.kif 507-512 | |
| (=> (instance ?Peninsula Peninsula) (exists (?Water) (and (instance ?Water WaterArea) (penetrates ?Peninsula ?Water)))) |
Geography.kif 5582-5587 | |
| (=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near)))) |
Geography.kif 5724-5729 | |
| (=> (instance ?S Sinking) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?S ?W)))) |
Mid-level-ontology.kif 9905-9910 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|