| 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 14259-14260 | |
| (externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg") | pictureList.kif 8789-8789 | |
| (externalImage WaterArea "http://upload.wikimedia.org/wikipedia/commons/ 7/ 76/ Bay_of_Fundy_High_Tide.jpg") | pictureList.kif 9807-9807 | |
| (subclass WaterArea GeographicArea) | Merge.kif 14258-14258 |
| appearance as argument number 2 |
|
|
| (partition GeographicArea WaterArea LandArea) | Merge.kif 14170-14170 | |
| (subclass Anchorage WaterArea) | Transportation.kif 921-921 | |
| (subclass BodyOfWater WaterArea) | Geography.kif 4561-4561 | |
| (subclass FreshWaterArea WaterArea) | Merge.kif 14276-14276 | |
| (subclass Harbor WaterArea) | Transportation.kif 917-917 | |
| (subclass HydropowerWaterArea WaterArea) | Geography.kif 2016-2016 | |
| (subclass InlandWaterSystem WaterArea) | Geography.kif 5411-5411 | |
| (subclass RiverMouth WaterArea) | Geography.kif 5725-5725 | |
| (subclass RiverSystem WaterArea) | Geography.kif 5579-5579 | |
| (subclass SaltWaterArea WaterArea) | Merge.kif 14271-14271 | |
| (subclass ShipBerth WaterArea) | Transportation.kif 3772-3772 | |
| (subclass StaticWaterArea WaterArea) | Mid-level-ontology.kif 10263-10263 | |
| (subclass StreamWaterArea WaterArea) | Mid-level-ontology.kif 10256-10256 | |
| (subclass StreamWaterConfluence WaterArea) | Geography.kif 5554-5554 | |
| (subclass SurfZone WaterArea) | Weather.kif 1362-1362 | |
| (subclass WaterCurrent WaterArea) | Geography.kif 5002-5002 | |
| (subclass Waterway WaterArea) | Geography.kif 5647-5647 | |
| (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 6239-6239 | |
| (domain flowCurrent 2 WaterArea) | Geography.kif 5629-5629 | |
| (domain navigableForDraft 1 WaterArea) | Transportation.kif 3177-3177 | |
| (domain navigableForShippingTonnage 1 WaterArea) | Transportation.kif 3160-3160 | |
| (domain seaSurfaceTemperature 1 WaterArea) | Weather.kif 959-959 | |
| (domain significantWaveHeight 1 WaterArea) | Weather.kif 1507-1507 | |
| (domain streamOutfall 1 WaterArea) | Geography.kif 5757-5757 | |
| (domain waterDepth 1 WaterArea) | Mid-level-ontology.kif 19134-19134 |
| antecedent |
|
|
| (=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 6196-6201 | |
| (=> (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 5631-5640 | |
| (=> (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 1561-1574 | |
| (=> (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 6222-6231 | |
| (=> (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 5450-5465 | |
| (=> (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 14262-14269 |
| 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 3960-3968 | |
| (=> (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 5893-5907 | |
| (=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?AREA)))) |
Merge.kif 11297-11304 | |
| (=> (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 5450-5465 | |
| (=> (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 1514-1529 | |
| (=> (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 2462-2467 | |
| (=> (instance ?BANK ShoreArea) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?BANK ?WATER)))) |
Merge.kif 14312-14317 | |
| (=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5669-5675 | |
| (=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5392-5398 | |
| (=> (instance ?Cape Cape) (exists (?WaterRegion) (and (instance ?WaterRegion WaterArea) (penetrates ?Cape ?WaterRegion)))) |
Geography.kif 5881-5886 | |
| (=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER)))) |
Geography.kif 5687-5692 | |
| (=> (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 5302-5307 | |
| (=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER)))) |
Merge.kif 14354-14359 | |
| (=> (instance ?LAND Shoal) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 5983-5988 | |
| (=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 6142-6149 | |
| (=> (instance ?LINE Shoreline) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?WATER ?LINE)))) |
Geography.kif 6208-6213 | |
| (=> (instance ?P Wading) (exists (?W) (and (instance ?W WaterArea) (eventLocated ?P ?W)))) |
Mid-level-ontology.kif 529-534 | |
| (=> (instance ?Peninsula Peninsula) (exists (?Water) (and (instance ?Water WaterArea) (penetrates ?Peninsula ?Water)))) |
Geography.kif 5870-5875 | |
| (=> (instance ?R UnderwaterRegion) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?R ?WATER Below)))) |
Mid-level-ontology.kif 19246-19251 | |
| (=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near)))) |
Geography.kif 6012-6017 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|